:- dynamic state_space_version_in_file/1.
state_space_version_in_file(1).

:- dynamic history/1.
history([19,18,18,75,66,67,19,18,18,13,13,53,50,50,51,49,49,47,54,54,51,50,46,43,44,44,44,35,35,32,32,39,27,27,26,29,29,29,32,32,26,16,16,16,16,14,14,11,6,root]).


:- dynamic forward_history/1.
forward_history(_3479) :- fail.


:- dynamic op_trace_ids/1.
op_trace_ids([330,305,312,369,346,336,322,305,304,291,299,280,198,203,216,263,270,247,227,239,210,202,185,164,153,150,157,139,144,74,86,127,104,117,58,93,98,90,75,86,64,52,57,56,54,34,30,16,11,6]).


:- dynamic current_state_id/1.
current_state_id(19).


:- dynamic current_options/1.
current_options([(316,'DeleteTaskS_MT(TASK1)-->TASK2',('DeleteTaskS_MT'(fd(1,'TASK'))-->[fd(2,'TASK')]),70),(317,'SuspendTaskS_MT(TASK1)-->TASK2',('SuspendTaskS_MT'(fd(1,'TASK'))-->[fd(2,'TASK')]),71),(318,'ChangeTaskPriorityN_MT(0,TASK1)-->TASK1',('ChangeTaskPriorityN_MT'(int(0),fd(1,'TASK'))-->[fd(1,'TASK')]),69),(319,'ChangeTaskPriorityN_MT(1,TASK1)-->TASK1',('ChangeTaskPriorityN_MT'(int(1),fd(1,'TASK'))-->[fd(1,'TASK')]),18),(320,'ChangeTaskPriorityN_MT(2,TASK1)-->TASK1',('ChangeTaskPriorityN_MT'(int(2),fd(1,'TASK'))-->[fd(1,'TASK')]),19),(321,'ChangeTaskPriorityN_MT(3,TASK1)-->TASK1',('ChangeTaskPriorityN_MT'(int(3),fd(1,'TASK'))-->[fd(1,'TASK')]),66),(322,'ChangeTaskPriorityN_MT(4,TASK1)-->TASK1',('ChangeTaskPriorityN_MT'(int(4),fd(1,'TASK'))-->[fd(1,'TASK')]),67),(323,'ChangeTaskPriorityN_MT(0,TASK2)-->TASK1',('ChangeTaskPriorityN_MT'(int(0),fd(2,'TASK'))-->[fd(1,'TASK')]),19),(324,'ChangeTaskPriorityN_MT(0,TASK3)-->TASK3',('ChangeTaskPriorityN_MT'(int(0),fd(3,'TASK'))-->[fd(3,'TASK')]),19),(325,'MigrationRuS_MT(CORE1,TASK1)-->TASK2',('MigrationRuS_MT'(fd(1,'CORE'),fd(1,'TASK'))-->[fd(2,'TASK')]),72),(326,'getRunningTask(CORE1)-->TASK3',(getRunningTask(fd(1,'CORE'))-->[fd(3,'TASK')]),19),(327,'getRunningTask(CORE2)-->TASK1',(getRunningTask(fd(2,'CORE'))-->[fd(1,'TASK')]),19),(328,'getPriority(TASK1)-->2',(getPriority(fd(1,'TASK'))-->[int(2)]),19),(329,'getPriority(TASK2)-->0',(getPriority(fd(2,'TASK'))-->[int(0)]),19),(330,'getPriority(TASK3)-->0',(getPriority(fd(3,'TASK'))-->[int(0)]),19)]).


:- dynamic packed_visited_expression/2.
packed_visited_expression(root,root).
packed_visited_expression(0,concrete_constants([bind(cores,[]),bind(idles,[])])).
packed_visited_expression(1,concrete_constants([bind(cores,avl_set(node(fd(1,'CORE'),true,0,empty,empty))),bind(idles,avl_set(node(fd(1,'TASK'),true,0,empty,empty)))])).
packed_visited_expression(2,concrete_constants([bind(cores,avl_set(node(fd(1,'CORE'),true,0,empty,empty))),bind(idles,avl_set(node(fd(2,'TASK'),true,0,empty,empty)))])).
packed_visited_expression(3,concrete_constants([bind(cores,avl_set(node(fd(1,'CORE'),true,0,empty,empty))),bind(idles,avl_set(node(fd(3,'TASK'),true,0,empty,empty)))])).
packed_visited_expression(4,concrete_constants([bind(cores,avl_set(node(fd(1,'CORE'),true,1,empty,node(fd(2,'CORE'),true,0,empty,empty)))),bind(idles,avl_set(node(fd(1,'TASK'),true,1,empty,node(fd(2,'TASK'),true,0,empty,empty))))])).
packed_visited_expression(5,concrete_constants([bind(cores,avl_set(node(fd(1,'CORE'),true,1,empty,node(fd(2,'CORE'),true,0,empty,empty)))),bind(idles,avl_set(node(fd(1,'TASK'),true,1,empty,node(fd(3,'TASK'),true,0,empty,empty))))])).
packed_visited_expression(6,concrete_constants([bind(cores,avl_set(node(fd(1,'CORE'),true,1,empty,node(fd(2,'CORE'),true,0,empty,empty)))),bind(idles,avl_set(node(fd(2,'TASK'),true,1,empty,node(fd(3,'TASK'),true,0,empty,empty))))])).
packed_visited_expression(7,concrete_constants([bind(cores,avl_set(node(fd(2,'CORE'),true,0,node(fd(1,'CORE'),true,0,empty,empty),node(fd(3,'CORE'),true,0,empty,empty)))),bind(idles,avl_set(node(fd(2,'TASK'),true,0,node(fd(1,'TASK'),true,0,empty,empty),node(fd(3,'TASK'),true,0,empty,empty))))])).
packed_visited_expression(8,concrete_constants([bind(cores,avl_set(node(fd(1,'CORE'),true,1,empty,node(fd(3,'CORE'),true,0,empty,empty)))),bind(idles,avl_set(node(fd(1,'TASK'),true,1,empty,node(fd(2,'TASK'),true,0,empty,empty))))])).
packed_visited_expression(9,concrete_constants([bind(cores,avl_set(node(fd(1,'CORE'),true,1,empty,node(fd(3,'CORE'),true,0,empty,empty)))),bind(idles,avl_set(node(fd(1,'TASK'),true,1,empty,node(fd(3,'TASK'),true,0,empty,empty))))])).
packed_visited_expression(10,const_and_vars(6,'$bind_var'(exeCore,'$avl_expanded'([('$fd_TASK2','$fd_CORE1'),('$fd_TASK3','$fd_CORE2')]),'$bind_var'(subTask,'$avl_expanded'([('$fd_CORE1',rec([field(idle,fd(2,'TASK')),field(log_context,avl_set(node((fd(2,'TASK'),fd(1,'CONTEXT')),true,0,node((fd(1,'TASK'),fd(1,'CONTEXT')),true,0,empty,empty),node((fd(3,'TASK'),fd(1,'CONTEXT')),true,0,empty,empty)))),field(phys_context,fd(1,'CONTEXT')),field(priority,avl_set(node((fd(2,'TASK'),int(0)),true,0,node((fd(1,'TASK'),int(0)),true,0,empty,empty),node((fd(3,'TASK'),int(0)),true,0,empty,empty)))),field(running_task,fd(2,'TASK')),field(state,avl_set(node((fd(2,'TASK'),fd(5,'STATE')),true,0,node((fd(1,'TASK'),fd(1,'STATE')),true,0,empty,empty),node((fd(3,'TASK'),fd(1,'STATE')),true,0,empty,empty)))),field(tasks,avl_set(node(fd(2,'TASK'),true,0,empty,empty)))])),('$fd_CORE2',rec([field(idle,fd(3,'TASK')),field(log_context,avl_set(node((fd(2,'TASK'),fd(1,'CONTEXT')),true,0,node((fd(1,'TASK'),fd(1,'CONTEXT')),true,0,empty,empty),node((fd(3,'TASK'),fd(1,'CONTEXT')),true,0,empty,empty)))),field(phys_context,fd(1,'CONTEXT')),field(priority,avl_set(node((fd(2,'TASK'),int(0)),true,0,node((fd(1,'TASK'),int(0)),true,0,empty,empty),node((fd(3,'TASK'),int(0)),true,0,empty,empty)))),field(running_task,fd(3,'TASK')),field(state,avl_set(node((fd(2,'TASK'),fd(1,'STATE')),true,0,node((fd(1,'TASK'),fd(1,'STATE')),true,0,empty,empty),node((fd(3,'TASK'),fd(5,'STATE')),true,0,empty,empty)))),field(tasks,avl_set(node(fd(3,'TASK'),true,0,empty,empty)))]))]),[])))).
packed_visited_expression(11,const_and_vars(6,'$bind_var'(exeCore,'$avl_expanded'([('$fd_TASK2','$fd_CORE2'),('$fd_TASK3','$fd_CORE1')]),'$bind_var'(subTask,'$avl_expanded'([('$fd_CORE1',rec([field(idle,fd(3,'TASK')),field(log_context,avl_set(node((fd(2,'TASK'),fd(1,'CONTEXT')),true,0,node((fd(1,'TASK'),fd(1,'CONTEXT')),true,0,empty,empty),node((fd(3,'TASK'),fd(1,'CONTEXT')),true,0,empty,empty)))),field(phys_context,fd(1,'CONTEXT')),field(priority,avl_set(node((fd(2,'TASK'),int(0)),true,0,node((fd(1,'TASK'),int(0)),true,0,empty,empty),node((fd(3,'TASK'),int(0)),true,0,empty,empty)))),field(running_task,fd(3,'TASK')),field(state,avl_set(node((fd(2,'TASK'),fd(1,'STATE')),true,0,node((fd(1,'TASK'),fd(1,'STATE')),true,0,empty,empty),node((fd(3,'TASK'),fd(5,'STATE')),true,0,empty,empty)))),field(tasks,avl_set(node(fd(3,'TASK'),true,0,empty,empty)))])),('$fd_CORE2',rec([field(idle,fd(2,'TASK')),field(log_context,avl_set(node((fd(2,'TASK'),fd(1,'CONTEXT')),true,0,node((fd(1,'TASK'),fd(1,'CONTEXT')),true,0,empty,empty),node((fd(3,'TASK'),fd(1,'CONTEXT')),true,0,empty,empty)))),field(phys_context,fd(1,'CONTEXT')),field(priority,avl_set(node((fd(2,'TASK'),int(0)),true,0,node((fd(1,'TASK'),int(0)),true,0,empty,empty),node((fd(3,'TASK'),int(0)),true,0,empty,empty)))),field(running_task,fd(2,'TASK')),field(state,avl_set(node((fd(2,'TASK'),fd(5,'STATE')),true,0,node((fd(1,'TASK'),fd(1,'STATE')),true,0,empty,empty),node((fd(3,'TASK'),fd(1,'STATE')),true,0,empty,empty)))),field(tasks,avl_set(node(fd(2,'TASK'),true,0,empty,empty)))]))]),[])))).
packed_visited_expression(12,const_and_vars(6,'$bind_var'(exeCore,'$avl_expanded'([('$fd_TASK1','$fd_CORE1'),('$fd_TASK2','$fd_CORE2'),('$fd_TASK3','$fd_CORE1')]),'$bind_var'(subTask,'$avl_expanded'([('$fd_CORE1',rec([field(idle,fd(3,'TASK')),field(log_context,avl_set(node((fd(2,'TASK'),fd(1,'CONTEXT')),true,0,node((fd(1,'TASK'),fd(1,'CONTEXT')),true,0,empty,empty),node((fd(3,'TASK'),fd(1,'CONTEXT')),true,0,empty,empty)))),field(phys_context,fd(1,'CONTEXT')),field(priority,avl_set(node((fd(2,'TASK'),int(0)),true,0,node((fd(1,'TASK'),int(0)),true,0,empty,empty),node((fd(3,'TASK'),int(0)),true,0,empty,empty)))),field(running_task,fd(3,'TASK')),field(state,avl_set(node((fd(2,'TASK'),fd(1,'STATE')),true,0,node((fd(1,'TASK'),fd(2,'STATE')),true,0,empty,empty),node((fd(3,'TASK'),fd(5,'STATE')),true,0,empty,empty)))),field(tasks,avl_set(node(fd(1,'TASK'),true,1,empty,node(fd(3,'TASK'),true,0,empty,empty))))])),('$fd_CORE2',rec([field(idle,fd(2,'TASK')),field(log_context,avl_set(node((fd(2,'TASK'),fd(1,'CONTEXT')),true,0,node((fd(1,'TASK'),fd(1,'CONTEXT')),true,0,empty,empty),node((fd(3,'TASK'),fd(1,'CONTEXT')),true,0,empty,empty)))),field(phys_context,fd(1,'CONTEXT')),field(priority,avl_set(node((fd(2,'TASK'),int(0)),true,0,node((fd(1,'TASK'),int(0)),true,0,empty,empty),node((fd(3,'TASK'),int(0)),true,0,empty,empty)))),field(running_task,fd(2,'TASK')),field(state,avl_set(node((fd(2,'TASK'),fd(5,'STATE')),true,0,node((fd(1,'TASK'),fd(1,'STATE')),true,0,empty,empty),node((fd(3,'TASK'),fd(1,'STATE')),true,0,empty,empty)))),field(tasks,avl_set(node(fd(2,'TASK'),true,0,empty,empty)))]))]),[])))).
packed_visited_expression(13,const_and_vars(6,'$bind_var'(exeCore,'$avl_expanded'([('$fd_TASK1','$fd_CORE2'),('$fd_TASK2','$fd_CORE2'),('$fd_TASK3','$fd_CORE1')]),'$bind_var'(subTask,'$avl_expanded'([('$fd_CORE1',rec([field(idle,fd(3,'TASK')),field(log_context,avl_set(node((fd(2,'TASK'),fd(1,'CONTEXT')),true,0,node((fd(1,'TASK'),fd(1,'CONTEXT')),true,0,empty,empty),node((fd(3,'TASK'),fd(1,'CONTEXT')),true,0,empty,empty)))),field(phys_context,fd(1,'CONTEXT')),field(priority,avl_set(node((fd(2,'TASK'),int(0)),true,0,node((fd(1,'TASK'),int(0)),true,0,empty,empty),node((fd(3,'TASK'),int(0)),true,0,empty,empty)))),field(running_task,fd(3,'TASK')),field(state,avl_set(node((fd(2,'TASK'),fd(1,'STATE')),true,0,node((fd(1,'TASK'),fd(1,'STATE')),true,0,empty,empty),node((fd(3,'TASK'),fd(5,'STATE')),true,0,empty,empty)))),field(tasks,avl_set(node(fd(3,'TASK'),true,0,empty,empty)))])),('$fd_CORE2',rec([field(idle,fd(2,'TASK')),field(log_context,avl_set(node((fd(2,'TASK'),fd(1,'CONTEXT')),true,0,node((fd(1,'TASK'),fd(1,'CONTEXT')),true,0,empty,empty),node((fd(3,'TASK'),fd(1,'CONTEXT')),true,0,empty,empty)))),field(phys_context,fd(1,'CONTEXT')),field(priority,avl_set(node((fd(2,'TASK'),int(0)),true,0,node((fd(1,'TASK'),int(0)),true,0,empty,empty),node((fd(3,'TASK'),int(0)),true,0,empty,empty)))),field(running_task,fd(2,'TASK')),field(state,avl_set(node((fd(2,'TASK'),fd(5,'STATE')),true,0,node((fd(1,'TASK'),fd(2,'STATE')),true,0,empty,empty),node((fd(3,'TASK'),fd(1,'STATE')),true,0,empty,empty)))),field(tasks,avl_set(node(fd(1,'TASK'),true,1,empty,node(fd(2,'TASK'),true,0,empty,empty))))]))]),[])))).
packed_visited_expression(14,const_and_vars(6,'$bind_var'(exeCore,'$avl_expanded'([('$fd_TASK1','$fd_CORE1'),('$fd_TASK2','$fd_CORE2'),('$fd_TASK3','$fd_CORE1')]),'$bind_var'(subTask,'$avl_expanded'([('$fd_CORE1',rec([field(idle,fd(3,'TASK')),field(log_context,avl_set(node((fd(2,'TASK'),fd(1,'CONTEXT')),true,0,node((fd(1,'TASK'),fd(1,'CONTEXT')),true,0,empty,empty),node((fd(3,'TASK'),fd(1,'CONTEXT')),true,0,empty,empty)))),field(phys_context,fd(1,'CONTEXT')),field(priority,avl_set(node((fd(2,'TASK'),int(0)),true,0,node((fd(1,'TASK'),int(1)),true,0,empty,empty),node((fd(3,'TASK'),int(0)),true,0,empty,empty)))),field(running_task,fd(1,'TASK')),field(state,avl_set(node((fd(2,'TASK'),fd(1,'STATE')),true,0,node((fd(1,'TASK'),fd(5,'STATE')),true,0,empty,empty),node((fd(3,'TASK'),fd(2,'STATE')),true,0,empty,empty)))),field(tasks,avl_set(node(fd(1,'TASK'),true,1,empty,node(fd(3,'TASK'),true,0,empty,empty))))])),('$fd_CORE2',rec([field(idle,fd(2,'TASK')),field(log_context,avl_set(node((fd(2,'TASK'),fd(1,'CONTEXT')),true,0,node((fd(1,'TASK'),fd(1,'CONTEXT')),true,0,empty,empty),node((fd(3,'TASK'),fd(1,'CONTEXT')),true,0,empty,empty)))),field(phys_context,fd(1,'CONTEXT')),field(priority,avl_set(node((fd(2,'TASK'),int(0)),true,0,node((fd(1,'TASK'),int(0)),true,0,empty,empty),node((fd(3,'TASK'),int(0)),true,0,empty,empty)))),field(running_task,fd(2,'TASK')),field(state,avl_set(node((fd(2,'TASK'),fd(5,'STATE')),true,0,node((fd(1,'TASK'),fd(1,'STATE')),true,0,empty,empty),node((fd(3,'TASK'),fd(1,'STATE')),true,0,empty,empty)))),field(tasks,avl_set(node(fd(2,'TASK'),true,0,empty,empty)))]))]),[])))).
packed_visited_expression(15,const_and_vars(6,'$bind_var'(exeCore,'$avl_expanded'([('$fd_TASK1','$fd_CORE1'),('$fd_TASK2','$fd_CORE2'),('$fd_TASK3','$fd_CORE1')]),'$bind_var'(subTask,'$avl_expanded'([('$fd_CORE1',rec([field(idle,fd(3,'TASK')),field(log_context,avl_set(node((fd(2,'TASK'),fd(1,'CONTEXT')),true,0,node((fd(1,'TASK'),fd(1,'CONTEXT')),true,0,empty,empty),node((fd(3,'TASK'),fd(1,'CONTEXT')),true,0,empty,empty)))),field(phys_context,fd(1,'CONTEXT')),field(priority,avl_set(node((fd(2,'TASK'),int(0)),true,0,node((fd(1,'TASK'),int(2)),true,0,empty,empty),node((fd(3,'TASK'),int(0)),true,0,empty,empty)))),field(running_task,fd(1,'TASK')),field(state,avl_set(node((fd(2,'TASK'),fd(1,'STATE')),true,0,node((fd(1,'TASK'),fd(5,'STATE')),true,0,empty,empty),node((fd(3,'TASK'),fd(2,'STATE')),true,0,empty,empty)))),field(tasks,avl_set(node(fd(1,'TASK'),true,1,empty,node(fd(3,'TASK'),true,0,empty,empty))))])),('$fd_CORE2',rec([field(idle,fd(2,'TASK')),field(log_context,avl_set(node((fd(2,'TASK'),fd(1,'CONTEXT')),true,0,node((fd(1,'TASK'),fd(1,'CONTEXT')),true,0,empty,empty),node((fd(3,'TASK'),fd(1,'CONTEXT')),true,0,empty,empty)))),field(phys_context,fd(1,'CONTEXT')),field(priority,avl_set(node((fd(2,'TASK'),int(0)),true,0,node((fd(1,'TASK'),int(0)),true,0,empty,empty),node((fd(3,'TASK'),int(0)),true,0,empty,empty)))),field(running_task,fd(2,'TASK')),field(state,avl_set(node((fd(2,'TASK'),fd(5,'STATE')),true,0,node((fd(1,'TASK'),fd(1,'STATE')),true,0,empty,empty),node((fd(3,'TASK'),fd(1,'STATE')),true,0,empty,empty)))),field(tasks,avl_set(node(fd(2,'TASK'),true,0,empty,empty)))]))]),[])))).
packed_visited_expression(16,const_and_vars(6,'$bind_var'(exeCore,'$avl_expanded'([('$fd_TASK1','$fd_CORE1'),('$fd_TASK2','$fd_CORE2'),('$fd_TASK3','$fd_CORE1')]),'$bind_var'(subTask,'$avl_expanded'([('$fd_CORE1',rec([field(idle,fd(3,'TASK')),field(log_context,avl_set(node((fd(2,'TASK'),fd(1,'CONTEXT')),true,0,node((fd(1,'TASK'),fd(1,'CONTEXT')),true,0,empty,empty),node((fd(3,'TASK'),fd(1,'CONTEXT')),true,0,empty,empty)))),field(phys_context,fd(1,'CONTEXT')),field(priority,avl_set(node((fd(2,'TASK'),int(0)),true,0,node((fd(1,'TASK'),int(3)),true,0,empty,empty),node((fd(3,'TASK'),int(0)),true,0,empty,empty)))),field(running_task,fd(1,'TASK')),field(state,avl_set(node((fd(2,'TASK'),fd(1,'STATE')),true,0,node((fd(1,'TASK'),fd(5,'STATE')),true,0,empty,empty),node((fd(3,'TASK'),fd(2,'STATE')),true,0,empty,empty)))),field(tasks,avl_set(node(fd(1,'TASK'),true,1,empty,node(fd(3,'TASK'),true,0,empty,empty))))])),('$fd_CORE2',rec([field(idle,fd(2,'TASK')),field(log_context,avl_set(node((fd(2,'TASK'),fd(1,'CONTEXT')),true,0,node((fd(1,'TASK'),fd(1,'CONTEXT')),true,0,empty,empty),node((fd(3,'TASK'),fd(1,'CONTEXT')),true,0,empty,empty)))),field(phys_context,fd(1,'CONTEXT')),field(priority,avl_set(node((fd(2,'TASK'),int(0)),true,0,node((fd(1,'TASK'),int(0)),true,0,empty,empty),node((fd(3,'TASK'),int(0)),true,0,empty,empty)))),field(running_task,fd(2,'TASK')),field(state,avl_set(node((fd(2,'TASK'),fd(5,'STATE')),true,0,node((fd(1,'TASK'),fd(1,'STATE')),true,0,empty,empty),node((fd(3,'TASK'),fd(1,'STATE')),true,0,empty,empty)))),field(tasks,avl_set(node(fd(2,'TASK'),true,0,empty,empty)))]))]),[])))).
packed_visited_expression(17,const_and_vars(6,'$bind_var'(exeCore,'$avl_expanded'([('$fd_TASK1','$fd_CORE1'),('$fd_TASK2','$fd_CORE2'),('$fd_TASK3','$fd_CORE1')]),'$bind_var'(subTask,'$avl_expanded'([('$fd_CORE1',rec([field(idle,fd(3,'TASK')),field(log_context,avl_set(node((fd(2,'TASK'),fd(1,'CONTEXT')),true,0,node((fd(1,'TASK'),fd(1,'CONTEXT')),true,0,empty,empty),node((fd(3,'TASK'),fd(1,'CONTEXT')),true,0,empty,empty)))),field(phys_context,fd(1,'CONTEXT')),field(priority,avl_set(node((fd(2,'TASK'),int(0)),true,0,node((fd(1,'TASK'),int(4)),true,0,empty,empty),node((fd(3,'TASK'),int(0)),true,0,empty,empty)))),field(running_task,fd(1,'TASK')),field(state,avl_set(node((fd(2,'TASK'),fd(1,'STATE')),true,0,node((fd(1,'TASK'),fd(5,'STATE')),true,0,empty,empty),node((fd(3,'TASK'),fd(2,'STATE')),true,0,empty,empty)))),field(tasks,avl_set(node(fd(1,'TASK'),true,1,empty,node(fd(3,'TASK'),true,0,empty,empty))))])),('$fd_CORE2',rec([field(idle,fd(2,'TASK')),field(log_context,avl_set(node((fd(2,'TASK'),fd(1,'CONTEXT')),true,0,node((fd(1,'TASK'),fd(1,'CONTEXT')),true,0,empty,empty),node((fd(3,'TASK'),fd(1,'CONTEXT')),true,0,empty,empty)))),field(phys_context,fd(1,'CONTEXT')),field(priority,avl_set(node((fd(2,'TASK'),int(0)),true,0,node((fd(1,'TASK'),int(0)),true,0,empty,empty),node((fd(3,'TASK'),int(0)),true,0,empty,empty)))),field(running_task,fd(2,'TASK')),field(state,avl_set(node((fd(2,'TASK'),fd(5,'STATE')),true,0,node((fd(1,'TASK'),fd(1,'STATE')),true,0,empty,empty),node((fd(3,'TASK'),fd(1,'STATE')),true,0,empty,empty)))),field(tasks,avl_set(node(fd(2,'TASK'),true,0,empty,empty)))]))]),[])))).
packed_visited_expression(18,const_and_vars(6,'$bind_var'(exeCore,'$avl_expanded'([('$fd_TASK1','$fd_CORE2'),('$fd_TASK2','$fd_CORE2'),('$fd_TASK3','$fd_CORE1')]),'$bind_var'(subTask,'$avl_expanded'([('$fd_CORE1',rec([field(idle,fd(3,'TASK')),field(log_context,avl_set(node((fd(2,'TASK'),fd(1,'CONTEXT')),true,0,node((fd(1,'TASK'),fd(1,'CONTEXT')),true,0,empty,empty),node((fd(3,'TASK'),fd(1,'CONTEXT')),true,0,empty,empty)))),field(phys_context,fd(1,'CONTEXT')),field(priority,avl_set(node((fd(2,'TASK'),int(0)),true,0,node((fd(1,'TASK'),int(0)),true,0,empty,empty),node((fd(3,'TASK'),int(0)),true,0,empty,empty)))),field(running_task,fd(3,'TASK')),field(state,avl_set(node((fd(2,'TASK'),fd(1,'STATE')),true,0,node((fd(1,'TASK'),fd(1,'STATE')),true,0,empty,empty),node((fd(3,'TASK'),fd(5,'STATE')),true,0,empty,empty)))),field(tasks,avl_set(node(fd(3,'TASK'),true,0,empty,empty)))])),('$fd_CORE2',rec([field(idle,fd(2,'TASK')),field(log_context,avl_set(node((fd(2,'TASK'),fd(1,'CONTEXT')),true,0,node((fd(1,'TASK'),fd(1,'CONTEXT')),true,0,empty,empty),node((fd(3,'TASK'),fd(1,'CONTEXT')),true,0,empty,empty)))),field(phys_context,fd(1,'CONTEXT')),field(priority,avl_set(node((fd(2,'TASK'),int(0)),true,0,node((fd(1,'TASK'),int(1)),true,0,empty,empty),node((fd(3,'TASK'),int(0)),true,0,empty,empty)))),field(running_task,fd(1,'TASK')),field(state,avl_set(node((fd(2,'TASK'),fd(2,'STATE')),true,0,node((fd(1,'TASK'),fd(5,'STATE')),true,0,empty,empty),node((fd(3,'TASK'),fd(1,'STATE')),true,0,empty,empty)))),field(tasks,avl_set(node(fd(1,'TASK'),true,1,empty,node(fd(2,'TASK'),true,0,empty,empty))))]))]),[])))).
packed_visited_expression(19,const_and_vars(6,'$bind_var'(exeCore,'$avl_expanded'([('$fd_TASK1','$fd_CORE2'),('$fd_TASK2','$fd_CORE2'),('$fd_TASK3','$fd_CORE1')]),'$bind_var'(subTask,'$avl_expanded'([('$fd_CORE1',rec([field(idle,fd(3,'TASK')),field(log_context,avl_set(node((fd(2,'TASK'),fd(1,'CONTEXT')),true,0,node((fd(1,'TASK'),fd(1,'CONTEXT')),true,0,empty,empty),node((fd(3,'TASK'),fd(1,'CONTEXT')),true,0,empty,empty)))),field(phys_context,fd(1,'CONTEXT')),field(priority,avl_set(node((fd(2,'TASK'),int(0)),true,0,node((fd(1,'TASK'),int(0)),true,0,empty,empty),node((fd(3,'TASK'),int(0)),true,0,empty,empty)))),field(running_task,fd(3,'TASK')),field(state,avl_set(node((fd(2,'TASK'),fd(1,'STATE')),true,0,node((fd(1,'TASK'),fd(1,'STATE')),true,0,empty,empty),node((fd(3,'TASK'),fd(5,'STATE')),true,0,empty,empty)))),field(tasks,avl_set(node(fd(3,'TASK'),true,0,empty,empty)))])),('$fd_CORE2',rec([field(idle,fd(2,'TASK')),field(log_context,avl_set(node((fd(2,'TASK'),fd(1,'CONTEXT')),true,0,node((fd(1,'TASK'),fd(1,'CONTEXT')),true,0,empty,empty),node((fd(3,'TASK'),fd(1,'CONTEXT')),true,0,empty,empty)))),field(phys_context,fd(1,'CONTEXT')),field(priority,avl_set(node((fd(2,'TASK'),int(0)),true,0,node((fd(1,'TASK'),int(2)),true,0,empty,empty),node((fd(3,'TASK'),int(0)),true,0,empty,empty)))),field(running_task,fd(1,'TASK')),field(state,avl_set(node((fd(2,'TASK'),fd(2,'STATE')),true,0,node((fd(1,'TASK'),fd(5,'STATE')),true,0,empty,empty),node((fd(3,'TASK'),fd(1,'STATE')),true,0,empty,empty)))),field(tasks,avl_set(node(fd(1,'TASK'),true,1,empty,node(fd(2,'TASK'),true,0,empty,empty))))]))]),[])))).
packed_visited_expression(20,const_and_vars(6,'$bind_var'(exeCore,'$avl_expanded'([('$fd_TASK2','$fd_CORE2'),('$fd_TASK3','$fd_CORE1')]),'$bind_var'(subTask,'$avl_expanded'([('$fd_CORE1',rec([field(idle,fd(3,'TASK')),field(log_context,avl_set(node((fd(2,'TASK'),fd(1,'CONTEXT')),true,0,node((fd(1,'TASK'),fd(1,'CONTEXT')),true,0,empty,empty),node((fd(3,'TASK'),fd(1,'CONTEXT')),true,0,empty,empty)))),field(phys_context,fd(1,'CONTEXT')),field(priority,avl_set(node((fd(2,'TASK'),int(0)),true,0,node((fd(1,'TASK'),int(1)),true,0,empty,empty),node((fd(3,'TASK'),int(0)),true,0,empty,empty)))),field(running_task,fd(3,'TASK')),field(state,avl_set(node((fd(2,'TASK'),fd(1,'STATE')),true,0,node((fd(1,'TASK'),fd(1,'STATE')),true,0,empty,empty),node((fd(3,'TASK'),fd(5,'STATE')),true,0,empty,empty)))),field(tasks,avl_set(node(fd(3,'TASK'),true,0,empty,empty)))])),('$fd_CORE2',rec([field(idle,fd(2,'TASK')),field(log_context,avl_set(node((fd(2,'TASK'),fd(1,'CONTEXT')),true,0,node((fd(1,'TASK'),fd(1,'CONTEXT')),true,0,empty,empty),node((fd(3,'TASK'),fd(1,'CONTEXT')),true,0,empty,empty)))),field(phys_context,fd(1,'CONTEXT')),field(priority,avl_set(node((fd(2,'TASK'),int(0)),true,0,node((fd(1,'TASK'),int(0)),true,0,empty,empty),node((fd(3,'TASK'),int(0)),true,0,empty,empty)))),field(running_task,fd(2,'TASK')),field(state,avl_set(node((fd(2,'TASK'),fd(5,'STATE')),true,0,node((fd(1,'TASK'),fd(1,'STATE')),true,0,empty,empty),node((fd(3,'TASK'),fd(1,'STATE')),true,0,empty,empty)))),field(tasks,avl_set(node(fd(2,'TASK'),true,0,empty,empty)))]))]),[])))).
packed_visited_expression(21,const_and_vars(6,'$bind_var'(exeCore,'$avl_expanded'([('$fd_TASK1','$fd_CORE1'),('$fd_TASK2','$fd_CORE2'),('$fd_TASK3','$fd_CORE1')]),'$bind_var'(subTask,'$avl_expanded'([('$fd_CORE1',rec([field(idle,fd(3,'TASK')),field(log_context,avl_set(node((fd(2,'TASK'),fd(1,'CONTEXT')),true,0,node((fd(1,'TASK'),fd(1,'CONTEXT')),true,0,empty,empty),node((fd(3,'TASK'),fd(1,'CONTEXT')),true,0,empty,empty)))),field(phys_context,fd(1,'CONTEXT')),field(priority,avl_set(node((fd(2,'TASK'),int(0)),true,0,node((fd(1,'TASK'),int(1)),true,0,empty,empty),node((fd(3,'TASK'),int(0)),true,0,empty,empty)))),field(running_task,fd(3,'TASK')),field(state,avl_set(node((fd(2,'TASK'),fd(1,'STATE')),true,0,node((fd(1,'TASK'),fd(4,'STATE')),true,0,empty,empty),node((fd(3,'TASK'),fd(5,'STATE')),true,0,empty,empty)))),field(tasks,avl_set(node(fd(1,'TASK'),true,1,empty,node(fd(3,'TASK'),true,0,empty,empty))))])),('$fd_CORE2',rec([field(idle,fd(2,'TASK')),field(log_context,avl_set(node((fd(2,'TASK'),fd(1,'CONTEXT')),true,0,node((fd(1,'TASK'),fd(1,'CONTEXT')),true,0,empty,empty),node((fd(3,'TASK'),fd(1,'CONTEXT')),true,0,empty,empty)))),field(phys_context,fd(1,'CONTEXT')),field(priority,avl_set(node((fd(2,'TASK'),int(0)),true,0,node((fd(1,'TASK'),int(0)),true,0,empty,empty),node((fd(3,'TASK'),int(0)),true,0,empty,empty)))),field(running_task,fd(2,'TASK')),field(state,avl_set(node((fd(2,'TASK'),fd(5,'STATE')),true,0,node((fd(1,'TASK'),fd(1,'STATE')),true,0,empty,empty),node((fd(3,'TASK'),fd(1,'STATE')),true,0,empty,empty)))),field(tasks,avl_set(node(fd(2,'TASK'),true,0,empty,empty)))]))]),[])))).
packed_visited_expression(22,const_and_vars(6,'$bind_var'(exeCore,'$avl_expanded'([('$fd_TASK1','$fd_CORE1'),('$fd_TASK2','$fd_CORE2'),('$fd_TASK3','$fd_CORE1')]),'$bind_var'(subTask,'$avl_expanded'([('$fd_CORE1',rec([field(idle,fd(3,'TASK')),field(log_context,avl_set(node((fd(2,'TASK'),fd(1,'CONTEXT')),true,0,node((fd(1,'TASK'),fd(1,'CONTEXT')),true,0,empty,empty),node((fd(3,'TASK'),fd(1,'CONTEXT')),true,0,empty,empty)))),field(phys_context,fd(1,'CONTEXT')),field(priority,avl_set(node((fd(2,'TASK'),int(0)),true,0,node((fd(1,'TASK'),int(0)),true,0,empty,empty),node((fd(3,'TASK'),int(0)),true,0,empty,empty)))),field(running_task,fd(1,'TASK')),field(state,avl_set(node((fd(2,'TASK'),fd(1,'STATE')),true,0,node((fd(1,'TASK'),fd(5,'STATE')),true,0,empty,empty),node((fd(3,'TASK'),fd(2,'STATE')),true,0,empty,empty)))),field(tasks,avl_set(node(fd(1,'TASK'),true,1,empty,node(fd(3,'TASK'),true,0,empty,empty))))])),('$fd_CORE2',rec([field(idle,fd(2,'TASK')),field(log_context,avl_set(node((fd(2,'TASK'),fd(1,'CONTEXT')),true,0,node((fd(1,'TASK'),fd(1,'CONTEXT')),true,0,empty,empty),node((fd(3,'TASK'),fd(1,'CONTEXT')),true,0,empty,empty)))),field(phys_context,fd(1,'CONTEXT')),field(priority,avl_set(node((fd(2,'TASK'),int(0)),true,0,node((fd(1,'TASK'),int(0)),true,0,empty,empty),node((fd(3,'TASK'),int(0)),true,0,empty,empty)))),field(running_task,fd(2,'TASK')),field(state,avl_set(node((fd(2,'TASK'),fd(5,'STATE')),true,0,node((fd(1,'TASK'),fd(1,'STATE')),true,0,empty,empty),node((fd(3,'TASK'),fd(1,'STATE')),true,0,empty,empty)))),field(tasks,avl_set(node(fd(2,'TASK'),true,0,empty,empty)))]))]),[])))).
packed_visited_expression(23,const_and_vars(6,'$bind_var'(exeCore,'$avl_expanded'([('$fd_TASK1','$fd_CORE2'),('$fd_TASK2','$fd_CORE2'),('$fd_TASK3','$fd_CORE1')]),'$bind_var'(subTask,'$avl_expanded'([('$fd_CORE1',rec([field(idle,fd(3,'TASK')),field(log_context,avl_set(node((fd(2,'TASK'),fd(1,'CONTEXT')),true,0,node((fd(1,'TASK'),fd(1,'CONTEXT')),true,0,empty,empty),node((fd(3,'TASK'),fd(1,'CONTEXT')),true,0,empty,empty)))),field(phys_context,fd(1,'CONTEXT')),field(priority,avl_set(node((fd(2,'TASK'),int(0)),true,0,node((fd(1,'TASK'),int(1)),true,0,empty,empty),node((fd(3,'TASK'),int(0)),true,0,empty,empty)))),field(running_task,fd(3,'TASK')),field(state,avl_set(node((fd(2,'TASK'),fd(1,'STATE')),true,0,node((fd(1,'TASK'),fd(1,'STATE')),true,0,empty,empty),node((fd(3,'TASK'),fd(5,'STATE')),true,0,empty,empty)))),field(tasks,avl_set(node(fd(3,'TASK'),true,0,empty,empty)))])),('$fd_CORE2',rec([field(idle,fd(2,'TASK')),field(log_context,avl_set(node((fd(2,'TASK'),fd(1,'CONTEXT')),true,0,node((fd(1,'TASK'),fd(1,'CONTEXT')),true,0,empty,empty),node((fd(3,'TASK'),fd(1,'CONTEXT')),true,0,empty,empty)))),field(phys_context,fd(1,'CONTEXT')),field(priority,avl_set(node((fd(2,'TASK'),int(0)),true,0,node((fd(1,'TASK'),int(1)),true,0,empty,empty),node((fd(3,'TASK'),int(0)),true,0,empty,empty)))),field(running_task,fd(1,'TASK')),field(state,avl_set(node((fd(2,'TASK'),fd(2,'STATE')),true,0,node((fd(1,'TASK'),fd(5,'STATE')),true,0,empty,empty),node((fd(3,'TASK'),fd(1,'STATE')),true,0,empty,empty)))),field(tasks,avl_set(node(fd(1,'TASK'),true,1,empty,node(fd(2,'TASK'),true,0,empty,empty))))]))]),[])))).
packed_visited_expression(24,const_and_vars(6,'$bind_var'(exeCore,'$avl_expanded'([('$fd_TASK2','$fd_CORE2'),('$fd_TASK3','$fd_CORE1')]),'$bind_var'(subTask,'$avl_expanded'([('$fd_CORE1',rec([field(idle,fd(3,'TASK')),field(log_context,avl_set(node((fd(2,'TASK'),fd(1,'CONTEXT')),true,0,node((fd(1,'TASK'),fd(1,'CONTEXT')),true,0,empty,empty),node((fd(3,'TASK'),fd(1,'CONTEXT')),true,0,empty,empty)))),field(phys_context,fd(1,'CONTEXT')),field(priority,avl_set(node((fd(2,'TASK'),int(0)),true,0,node((fd(1,'TASK'),int(3)),true,0,empty,empty),node((fd(3,'TASK'),int(0)),true,0,empty,empty)))),field(running_task,fd(3,'TASK')),field(state,avl_set(node((fd(2,'TASK'),fd(1,'STATE')),true,0,node((fd(1,'TASK'),fd(1,'STATE')),true,0,empty,empty),node((fd(3,'TASK'),fd(5,'STATE')),true,0,empty,empty)))),field(tasks,avl_set(node(fd(3,'TASK'),true,0,empty,empty)))])),('$fd_CORE2',rec([field(idle,fd(2,'TASK')),field(log_context,avl_set(node((fd(2,'TASK'),fd(1,'CONTEXT')),true,0,node((fd(1,'TASK'),fd(1,'CONTEXT')),true,0,empty,empty),node((fd(3,'TASK'),fd(1,'CONTEXT')),true,0,empty,empty)))),field(phys_context,fd(1,'CONTEXT')),field(priority,avl_set(node((fd(2,'TASK'),int(0)),true,0,node((fd(1,'TASK'),int(0)),true,0,empty,empty),node((fd(3,'TASK'),int(0)),true,0,empty,empty)))),field(running_task,fd(2,'TASK')),field(state,avl_set(node((fd(2,'TASK'),fd(5,'STATE')),true,0,node((fd(1,'TASK'),fd(1,'STATE')),true,0,empty,empty),node((fd(3,'TASK'),fd(1,'STATE')),true,0,empty,empty)))),field(tasks,avl_set(node(fd(2,'TASK'),true,0,empty,empty)))]))]),[])))).
packed_visited_expression(25,const_and_vars(6,'$bind_var'(exeCore,'$avl_expanded'([('$fd_TASK1','$fd_CORE1'),('$fd_TASK2','$fd_CORE2'),('$fd_TASK3','$fd_CORE1')]),'$bind_var'(subTask,'$avl_expanded'([('$fd_CORE1',rec([field(idle,fd(3,'TASK')),field(log_context,avl_set(node((fd(2,'TASK'),fd(1,'CONTEXT')),true,0,node((fd(1,'TASK'),fd(1,'CONTEXT')),true,0,empty,empty),node((fd(3,'TASK'),fd(1,'CONTEXT')),true,0,empty,empty)))),field(phys_context,fd(1,'CONTEXT')),field(priority,avl_set(node((fd(2,'TASK'),int(0)),true,0,node((fd(1,'TASK'),int(3)),true,0,empty,empty),node((fd(3,'TASK'),int(0)),true,0,empty,empty)))),field(running_task,fd(3,'TASK')),field(state,avl_set(node((fd(2,'TASK'),fd(1,'STATE')),true,0,node((fd(1,'TASK'),fd(4,'STATE')),true,0,empty,empty),node((fd(3,'TASK'),fd(5,'STATE')),true,0,empty,empty)))),field(tasks,avl_set(node(fd(1,'TASK'),true,1,empty,node(fd(3,'TASK'),true,0,empty,empty))))])),('$fd_CORE2',rec([field(idle,fd(2,'TASK')),field(log_context,avl_set(node((fd(2,'TASK'),fd(1,'CONTEXT')),true,0,node((fd(1,'TASK'),fd(1,'CONTEXT')),true,0,empty,empty),node((fd(3,'TASK'),fd(1,'CONTEXT')),true,0,empty,empty)))),field(phys_context,fd(1,'CONTEXT')),field(priority,avl_set(node((fd(2,'TASK'),int(0)),true,0,node((fd(1,'TASK'),int(0)),true,0,empty,empty),node((fd(3,'TASK'),int(0)),true,0,empty,empty)))),field(running_task,fd(2,'TASK')),field(state,avl_set(node((fd(2,'TASK'),fd(5,'STATE')),true,0,node((fd(1,'TASK'),fd(1,'STATE')),true,0,empty,empty),node((fd(3,'TASK'),fd(1,'STATE')),true,0,empty,empty)))),field(tasks,avl_set(node(fd(2,'TASK'),true,0,empty,empty)))]))]),[])))).
packed_visited_expression(26,const_and_vars(6,'$bind_var'(exeCore,'$avl_expanded'([('$fd_TASK1','$fd_CORE2'),('$fd_TASK2','$fd_CORE2'),('$fd_TASK3','$fd_CORE1')]),'$bind_var'(subTask,'$avl_expanded'([('$fd_CORE1',rec([field(idle,fd(3,'TASK')),field(log_context,avl_set(node((fd(2,'TASK'),fd(1,'CONTEXT')),true,0,node((fd(1,'TASK'),fd(1,'CONTEXT')),true,0,empty,empty),node((fd(3,'TASK'),fd(1,'CONTEXT')),true,0,empty,empty)))),field(phys_context,fd(1,'CONTEXT')),field(priority,avl_set(node((fd(2,'TASK'),int(0)),true,0,node((fd(1,'TASK'),int(3)),true,0,empty,empty),node((fd(3,'TASK'),int(0)),true,0,empty,empty)))),field(running_task,fd(3,'TASK')),field(state,avl_set(node((fd(2,'TASK'),fd(1,'STATE')),true,0,node((fd(1,'TASK'),fd(1,'STATE')),true,0,empty,empty),node((fd(3,'TASK'),fd(5,'STATE')),true,0,empty,empty)))),field(tasks,avl_set(node(fd(3,'TASK'),true,0,empty,empty)))])),('$fd_CORE2',rec([field(idle,fd(2,'TASK')),field(log_context,avl_set(node((fd(2,'TASK'),fd(1,'CONTEXT')),true,0,node((fd(1,'TASK'),fd(1,'CONTEXT')),true,0,empty,empty),node((fd(3,'TASK'),fd(1,'CONTEXT')),true,0,empty,empty)))),field(phys_context,fd(1,'CONTEXT')),field(priority,avl_set(node((fd(2,'TASK'),int(0)),true,0,node((fd(1,'TASK'),int(3)),true,0,empty,empty),node((fd(3,'TASK'),int(0)),true,0,empty,empty)))),field(running_task,fd(1,'TASK')),field(state,avl_set(node((fd(2,'TASK'),fd(2,'STATE')),true,0,node((fd(1,'TASK'),fd(5,'STATE')),true,0,empty,empty),node((fd(3,'TASK'),fd(1,'STATE')),true,0,empty,empty)))),field(tasks,avl_set(node(fd(1,'TASK'),true,1,empty,node(fd(2,'TASK'),true,0,empty,empty))))]))]),[])))).
packed_visited_expression(27,const_and_vars(6,'$bind_var'(exeCore,'$avl_expanded'([('$fd_TASK2','$fd_CORE2'),('$fd_TASK3','$fd_CORE1')]),'$bind_var'(subTask,'$avl_expanded'([('$fd_CORE1',rec([field(idle,fd(3,'TASK')),field(log_context,avl_set(node((fd(2,'TASK'),fd(1,'CONTEXT')),true,0,node((fd(1,'TASK'),fd(1,'CONTEXT')),true,0,empty,empty),node((fd(3,'TASK'),fd(1,'CONTEXT')),true,0,empty,empty)))),field(phys_context,fd(1,'CONTEXT')),field(priority,avl_set(node((fd(2,'TASK'),int(0)),true,0,node((fd(1,'TASK'),int(3)),true,0,empty,empty),node((fd(3,'TASK'),int(0)),true,0,empty,empty)))),field(running_task,fd(3,'TASK')),field(state,avl_set(node((fd(2,'TASK'),fd(1,'STATE')),true,0,node((fd(1,'TASK'),fd(1,'STATE')),true,0,empty,empty),node((fd(3,'TASK'),fd(5,'STATE')),true,0,empty,empty)))),field(tasks,avl_set(node(fd(3,'TASK'),true,0,empty,empty)))])),('$fd_CORE2',rec([field(idle,fd(2,'TASK')),field(log_context,avl_set(node((fd(2,'TASK'),fd(1,'CONTEXT')),true,0,node((fd(1,'TASK'),fd(1,'CONTEXT')),true,0,empty,empty),node((fd(3,'TASK'),fd(1,'CONTEXT')),true,0,empty,empty)))),field(phys_context,fd(1,'CONTEXT')),field(priority,avl_set(node((fd(2,'TASK'),int(0)),true,0,node((fd(1,'TASK'),int(3)),true,0,empty,empty),node((fd(3,'TASK'),int(0)),true,0,empty,empty)))),field(running_task,fd(2,'TASK')),field(state,avl_set(node((fd(2,'TASK'),fd(5,'STATE')),true,0,node((fd(1,'TASK'),fd(1,'STATE')),true,0,empty,empty),node((fd(3,'TASK'),fd(1,'STATE')),true,0,empty,empty)))),field(tasks,avl_set(node(fd(2,'TASK'),true,0,empty,empty)))]))]),[])))).
packed_visited_expression(28,const_and_vars(6,'$bind_var'(exeCore,'$avl_expanded'([('$fd_TASK1','$fd_CORE2'),('$fd_TASK2','$fd_CORE2'),('$fd_TASK3','$fd_CORE1')]),'$bind_var'(subTask,'$avl_expanded'([('$fd_CORE1',rec([field(idle,fd(3,'TASK')),field(log_context,avl_set(node((fd(2,'TASK'),fd(1,'CONTEXT')),true,0,node((fd(1,'TASK'),fd(1,'CONTEXT')),true,0,empty,empty),node((fd(3,'TASK'),fd(1,'CONTEXT')),true,0,empty,empty)))),field(phys_context,fd(1,'CONTEXT')),field(priority,avl_set(node((fd(2,'TASK'),int(0)),true,0,node((fd(1,'TASK'),int(3)),true,0,empty,empty),node((fd(3,'TASK'),int(0)),true,0,empty,empty)))),field(running_task,fd(3,'TASK')),field(state,avl_set(node((fd(2,'TASK'),fd(1,'STATE')),true,0,node((fd(1,'TASK'),fd(1,'STATE')),true,0,empty,empty),node((fd(3,'TASK'),fd(5,'STATE')),true,0,empty,empty)))),field(tasks,avl_set(node(fd(3,'TASK'),true,0,empty,empty)))])),('$fd_CORE2',rec([field(idle,fd(2,'TASK')),field(log_context,avl_set(node((fd(2,'TASK'),fd(1,'CONTEXT')),true,0,node((fd(1,'TASK'),fd(1,'CONTEXT')),true,0,empty,empty),node((fd(3,'TASK'),fd(1,'CONTEXT')),true,0,empty,empty)))),field(phys_context,fd(1,'CONTEXT')),field(priority,avl_set(node((fd(2,'TASK'),int(0)),true,0,node((fd(1,'TASK'),int(3)),true,0,empty,empty),node((fd(3,'TASK'),int(0)),true,0,empty,empty)))),field(running_task,fd(2,'TASK')),field(state,avl_set(node((fd(2,'TASK'),fd(5,'STATE')),true,0,node((fd(1,'TASK'),fd(4,'STATE')),true,0,empty,empty),node((fd(3,'TASK'),fd(1,'STATE')),true,0,empty,empty)))),field(tasks,avl_set(node(fd(1,'TASK'),true,1,empty,node(fd(2,'TASK'),true,0,empty,empty))))]))]),[])))).
packed_visited_expression(29,const_and_vars(6,'$bind_var'(exeCore,'$avl_expanded'([('$fd_TASK1','$fd_CORE2'),('$fd_TASK2','$fd_CORE2'),('$fd_TASK3','$fd_CORE1')]),'$bind_var'(subTask,'$avl_expanded'([('$fd_CORE1',rec([field(idle,fd(3,'TASK')),field(log_context,avl_set(node((fd(2,'TASK'),fd(1,'CONTEXT')),true,0,node((fd(1,'TASK'),fd(1,'CONTEXT')),true,0,empty,empty),node((fd(3,'TASK'),fd(1,'CONTEXT')),true,0,empty,empty)))),field(phys_context,fd(1,'CONTEXT')),field(priority,avl_set(node((fd(2,'TASK'),int(0)),true,0,node((fd(1,'TASK'),int(3)),true,0,empty,empty),node((fd(3,'TASK'),int(0)),true,0,empty,empty)))),field(running_task,fd(3,'TASK')),field(state,avl_set(node((fd(2,'TASK'),fd(1,'STATE')),true,0,node((fd(1,'TASK'),fd(1,'STATE')),true,0,empty,empty),node((fd(3,'TASK'),fd(5,'STATE')),true,0,empty,empty)))),field(tasks,avl_set(node(fd(3,'TASK'),true,0,empty,empty)))])),('$fd_CORE2',rec([field(idle,fd(2,'TASK')),field(log_context,avl_set(node((fd(2,'TASK'),fd(1,'CONTEXT')),true,0,node((fd(1,'TASK'),fd(1,'CONTEXT')),true,0,empty,empty),node((fd(3,'TASK'),fd(1,'CONTEXT')),true,0,empty,empty)))),field(phys_context,fd(1,'CONTEXT')),field(priority,avl_set(node((fd(2,'TASK'),int(0)),true,0,node((fd(1,'TASK'),int(0)),true,0,empty,empty),node((fd(3,'TASK'),int(0)),true,0,empty,empty)))),field(running_task,fd(1,'TASK')),field(state,avl_set(node((fd(2,'TASK'),fd(2,'STATE')),true,0,node((fd(1,'TASK'),fd(5,'STATE')),true,0,empty,empty),node((fd(3,'TASK'),fd(1,'STATE')),true,0,empty,empty)))),field(tasks,avl_set(node(fd(1,'TASK'),true,1,empty,node(fd(2,'TASK'),true,0,empty,empty))))]))]),[])))).
packed_visited_expression(30,const_and_vars(6,'$bind_var'(exeCore,'$avl_expanded'([('$fd_TASK1','$fd_CORE2'),('$fd_TASK2','$fd_CORE2'),('$fd_TASK3','$fd_CORE1')]),'$bind_var'(subTask,'$avl_expanded'([('$fd_CORE1',rec([field(idle,fd(3,'TASK')),field(log_context,avl_set(node((fd(2,'TASK'),fd(1,'CONTEXT')),true,0,node((fd(1,'TASK'),fd(1,'CONTEXT')),true,0,empty,empty),node((fd(3,'TASK'),fd(1,'CONTEXT')),true,0,empty,empty)))),field(phys_context,fd(1,'CONTEXT')),field(priority,avl_set(node((fd(2,'TASK'),int(0)),true,0,node((fd(1,'TASK'),int(3)),true,0,empty,empty),node((fd(3,'TASK'),int(0)),true,0,empty,empty)))),field(running_task,fd(3,'TASK')),field(state,avl_set(node((fd(2,'TASK'),fd(1,'STATE')),true,0,node((fd(1,'TASK'),fd(1,'STATE')),true,0,empty,empty),node((fd(3,'TASK'),fd(5,'STATE')),true,0,empty,empty)))),field(tasks,avl_set(node(fd(3,'TASK'),true,0,empty,empty)))])),('$fd_CORE2',rec([field(idle,fd(2,'TASK')),field(log_context,avl_set(node((fd(2,'TASK'),fd(1,'CONTEXT')),true,0,node((fd(1,'TASK'),fd(1,'CONTEXT')),true,0,empty,empty),node((fd(3,'TASK'),fd(1,'CONTEXT')),true,0,empty,empty)))),field(phys_context,fd(1,'CONTEXT')),field(priority,avl_set(node((fd(2,'TASK'),int(0)),true,0,node((fd(1,'TASK'),int(1)),true,0,empty,empty),node((fd(3,'TASK'),int(0)),true,0,empty,empty)))),field(running_task,fd(1,'TASK')),field(state,avl_set(node((fd(2,'TASK'),fd(2,'STATE')),true,0,node((fd(1,'TASK'),fd(5,'STATE')),true,0,empty,empty),node((fd(3,'TASK'),fd(1,'STATE')),true,0,empty,empty)))),field(tasks,avl_set(node(fd(1,'TASK'),true,1,empty,node(fd(2,'TASK'),true,0,empty,empty))))]))]),[])))).
packed_visited_expression(31,const_and_vars(6,'$bind_var'(exeCore,'$avl_expanded'([('$fd_TASK1','$fd_CORE2'),('$fd_TASK2','$fd_CORE2'),('$fd_TASK3','$fd_CORE1')]),'$bind_var'(subTask,'$avl_expanded'([('$fd_CORE1',rec([field(idle,fd(3,'TASK')),field(log_context,avl_set(node((fd(2,'TASK'),fd(1,'CONTEXT')),true,0,node((fd(1,'TASK'),fd(1,'CONTEXT')),true,0,empty,empty),node((fd(3,'TASK'),fd(1,'CONTEXT')),true,0,empty,empty)))),field(phys_context,fd(1,'CONTEXT')),field(priority,avl_set(node((fd(2,'TASK'),int(0)),true,0,node((fd(1,'TASK'),int(3)),true,0,empty,empty),node((fd(3,'TASK'),int(0)),true,0,empty,empty)))),field(running_task,fd(3,'TASK')),field(state,avl_set(node((fd(2,'TASK'),fd(1,'STATE')),true,0,node((fd(1,'TASK'),fd(1,'STATE')),true,0,empty,empty),node((fd(3,'TASK'),fd(5,'STATE')),true,0,empty,empty)))),field(tasks,avl_set(node(fd(3,'TASK'),true,0,empty,empty)))])),('$fd_CORE2',rec([field(idle,fd(2,'TASK')),field(log_context,avl_set(node((fd(2,'TASK'),fd(1,'CONTEXT')),true,0,node((fd(1,'TASK'),fd(1,'CONTEXT')),true,0,empty,empty),node((fd(3,'TASK'),fd(1,'CONTEXT')),true,0,empty,empty)))),field(phys_context,fd(1,'CONTEXT')),field(priority,avl_set(node((fd(2,'TASK'),int(0)),true,0,node((fd(1,'TASK'),int(2)),true,0,empty,empty),node((fd(3,'TASK'),int(0)),true,0,empty,empty)))),field(running_task,fd(1,'TASK')),field(state,avl_set(node((fd(2,'TASK'),fd(2,'STATE')),true,0,node((fd(1,'TASK'),fd(5,'STATE')),true,0,empty,empty),node((fd(3,'TASK'),fd(1,'STATE')),true,0,empty,empty)))),field(tasks,avl_set(node(fd(1,'TASK'),true,1,empty,node(fd(2,'TASK'),true,0,empty,empty))))]))]),[])))).
packed_visited_expression(32,const_and_vars(6,'$bind_var'(exeCore,'$avl_expanded'([('$fd_TASK1','$fd_CORE2'),('$fd_TASK2','$fd_CORE2'),('$fd_TASK3','$fd_CORE1')]),'$bind_var'(subTask,'$avl_expanded'([('$fd_CORE1',rec([field(idle,fd(3,'TASK')),field(log_context,avl_set(node((fd(2,'TASK'),fd(1,'CONTEXT')),true,0,node((fd(1,'TASK'),fd(1,'CONTEXT')),true,0,empty,empty),node((fd(3,'TASK'),fd(1,'CONTEXT')),true,0,empty,empty)))),field(phys_context,fd(1,'CONTEXT')),field(priority,avl_set(node((fd(2,'TASK'),int(0)),true,0,node((fd(1,'TASK'),int(3)),true,0,empty,empty),node((fd(3,'TASK'),int(0)),true,0,empty,empty)))),field(running_task,fd(3,'TASK')),field(state,avl_set(node((fd(2,'TASK'),fd(1,'STATE')),true,0,node((fd(1,'TASK'),fd(1,'STATE')),true,0,empty,empty),node((fd(3,'TASK'),fd(5,'STATE')),true,0,empty,empty)))),field(tasks,avl_set(node(fd(3,'TASK'),true,0,empty,empty)))])),('$fd_CORE2',rec([field(idle,fd(2,'TASK')),field(log_context,avl_set(node((fd(2,'TASK'),fd(1,'CONTEXT')),true,0,node((fd(1,'TASK'),fd(1,'CONTEXT')),true,0,empty,empty),node((fd(3,'TASK'),fd(1,'CONTEXT')),true,0,empty,empty)))),field(phys_context,fd(1,'CONTEXT')),field(priority,avl_set(node((fd(2,'TASK'),int(0)),true,0,node((fd(1,'TASK'),int(4)),true,0,empty,empty),node((fd(3,'TASK'),int(0)),true,0,empty,empty)))),field(running_task,fd(1,'TASK')),field(state,avl_set(node((fd(2,'TASK'),fd(2,'STATE')),true,0,node((fd(1,'TASK'),fd(5,'STATE')),true,0,empty,empty),node((fd(3,'TASK'),fd(1,'STATE')),true,0,empty,empty)))),field(tasks,avl_set(node(fd(1,'TASK'),true,1,empty,node(fd(2,'TASK'),true,0,empty,empty))))]))]),[])))).
packed_visited_expression(33,const_and_vars(6,'$bind_var'(exeCore,'$avl_expanded'([('$fd_TASK1','$fd_CORE1'),('$fd_TASK2','$fd_CORE2'),('$fd_TASK3','$fd_CORE1')]),'$bind_var'(subTask,'$avl_expanded'([('$fd_CORE1',rec([field(idle,fd(3,'TASK')),field(log_context,avl_set(node((fd(2,'TASK'),fd(1,'CONTEXT')),true,0,node((fd(1,'TASK'),fd(1,'CONTEXT')),true,0,empty,empty),node((fd(3,'TASK'),fd(1,'CONTEXT')),true,0,empty,empty)))),field(phys_context,fd(1,'CONTEXT')),field(priority,avl_set(node((fd(2,'TASK'),int(0)),true,0,node((fd(1,'TASK'),int(3)),true,0,empty,empty),node((fd(3,'TASK'),int(0)),true,0,empty,empty)))),field(running_task,fd(1,'TASK')),field(state,avl_set(node((fd(2,'TASK'),fd(1,'STATE')),true,0,node((fd(1,'TASK'),fd(5,'STATE')),true,0,empty,empty),node((fd(3,'TASK'),fd(2,'STATE')),true,0,empty,empty)))),field(tasks,avl_set(node(fd(1,'TASK'),true,1,empty,node(fd(3,'TASK'),true,0,empty,empty))))])),('$fd_CORE2',rec([field(idle,fd(2,'TASK')),field(log_context,avl_set(node((fd(2,'TASK'),fd(1,'CONTEXT')),true,0,node((fd(1,'TASK'),fd(1,'CONTEXT')),true,0,empty,empty),node((fd(3,'TASK'),fd(1,'CONTEXT')),true,0,empty,empty)))),field(phys_context,fd(1,'CONTEXT')),field(priority,avl_set(node((fd(2,'TASK'),int(0)),true,0,node((fd(1,'TASK'),int(3)),true,0,empty,empty),node((fd(3,'TASK'),int(0)),true,0,empty,empty)))),field(running_task,fd(2,'TASK')),field(state,avl_set(node((fd(2,'TASK'),fd(5,'STATE')),true,0,node((fd(1,'TASK'),fd(1,'STATE')),true,0,empty,empty),node((fd(3,'TASK'),fd(1,'STATE')),true,0,empty,empty)))),field(tasks,avl_set(node(fd(2,'TASK'),true,0,empty,empty)))]))]),[])))).
packed_visited_expression(34,const_and_vars(6,'$bind_var'(exeCore,'$avl_expanded'([('$fd_TASK2','$fd_CORE2'),('$fd_TASK3','$fd_CORE1')]),'$bind_var'(subTask,'$avl_expanded'([('$fd_CORE1',rec([field(idle,fd(3,'TASK')),field(log_context,avl_set(node((fd(2,'TASK'),fd(1,'CONTEXT')),true,0,node((fd(1,'TASK'),fd(1,'CONTEXT')),true,0,empty,empty),node((fd(3,'TASK'),fd(1,'CONTEXT')),true,0,empty,empty)))),field(phys_context,fd(1,'CONTEXT')),field(priority,avl_set(node((fd(2,'TASK'),int(0)),true,0,node((fd(1,'TASK'),int(3)),true,0,empty,empty),node((fd(3,'TASK'),int(0)),true,0,empty,empty)))),field(running_task,fd(3,'TASK')),field(state,avl_set(node((fd(2,'TASK'),fd(1,'STATE')),true,0,node((fd(1,'TASK'),fd(1,'STATE')),true,0,empty,empty),node((fd(3,'TASK'),fd(5,'STATE')),true,0,empty,empty)))),field(tasks,avl_set(node(fd(3,'TASK'),true,0,empty,empty)))])),('$fd_CORE2',rec([field(idle,fd(2,'TASK')),field(log_context,avl_set(node((fd(2,'TASK'),fd(1,'CONTEXT')),true,0,node((fd(1,'TASK'),fd(1,'CONTEXT')),true,0,empty,empty),node((fd(3,'TASK'),fd(1,'CONTEXT')),true,0,empty,empty)))),field(phys_context,fd(1,'CONTEXT')),field(priority,avl_set(node((fd(2,'TASK'),int(0)),true,0,node((fd(1,'TASK'),int(4)),true,0,empty,empty),node((fd(3,'TASK'),int(0)),true,0,empty,empty)))),field(running_task,fd(2,'TASK')),field(state,avl_set(node((fd(2,'TASK'),fd(5,'STATE')),true,0,node((fd(1,'TASK'),fd(1,'STATE')),true,0,empty,empty),node((fd(3,'TASK'),fd(1,'STATE')),true,0,empty,empty)))),field(tasks,avl_set(node(fd(2,'TASK'),true,0,empty,empty)))]))]),[])))).
packed_visited_expression(35,const_and_vars(6,'$bind_var'(exeCore,'$avl_expanded'([('$fd_TASK1','$fd_CORE2'),('$fd_TASK2','$fd_CORE2'),('$fd_TASK3','$fd_CORE1')]),'$bind_var'(subTask,'$avl_expanded'([('$fd_CORE1',rec([field(idle,fd(3,'TASK')),field(log_context,avl_set(node((fd(2,'TASK'),fd(1,'CONTEXT')),true,0,node((fd(1,'TASK'),fd(1,'CONTEXT')),true,0,empty,empty),node((fd(3,'TASK'),fd(1,'CONTEXT')),true,0,empty,empty)))),field(phys_context,fd(1,'CONTEXT')),field(priority,avl_set(node((fd(2,'TASK'),int(0)),true,0,node((fd(1,'TASK'),int(3)),true,0,empty,empty),node((fd(3,'TASK'),int(0)),true,0,empty,empty)))),field(running_task,fd(3,'TASK')),field(state,avl_set(node((fd(2,'TASK'),fd(1,'STATE')),true,0,node((fd(1,'TASK'),fd(1,'STATE')),true,0,empty,empty),node((fd(3,'TASK'),fd(5,'STATE')),true,0,empty,empty)))),field(tasks,avl_set(node(fd(3,'TASK'),true,0,empty,empty)))])),('$fd_CORE2',rec([field(idle,fd(2,'TASK')),field(log_context,avl_set(node((fd(2,'TASK'),fd(1,'CONTEXT')),true,0,node((fd(1,'TASK'),fd(1,'CONTEXT')),true,0,empty,empty),node((fd(3,'TASK'),fd(1,'CONTEXT')),true,0,empty,empty)))),field(phys_context,fd(1,'CONTEXT')),field(priority,avl_set(node((fd(2,'TASK'),int(0)),true,0,node((fd(1,'TASK'),int(4)),true,0,empty,empty),node((fd(3,'TASK'),int(0)),true,0,empty,empty)))),field(running_task,fd(2,'TASK')),field(state,avl_set(node((fd(2,'TASK'),fd(5,'STATE')),true,0,node((fd(1,'TASK'),fd(4,'STATE')),true,0,empty,empty),node((fd(3,'TASK'),fd(1,'STATE')),true,0,empty,empty)))),field(tasks,avl_set(node(fd(1,'TASK'),true,1,empty,node(fd(2,'TASK'),true,0,empty,empty))))]))]),[])))).
packed_visited_expression(36,const_and_vars(6,'$bind_var'(exeCore,'$avl_expanded'([('$fd_TASK1','$fd_CORE1'),('$fd_TASK2','$fd_CORE2'),('$fd_TASK3','$fd_CORE1')]),'$bind_var'(subTask,'$avl_expanded'([('$fd_CORE1',rec([field(idle,fd(3,'TASK')),field(log_context,avl_set(node((fd(2,'TASK'),fd(1,'CONTEXT')),true,0,node((fd(1,'TASK'),fd(1,'CONTEXT')),true,0,empty,empty),node((fd(3,'TASK'),fd(1,'CONTEXT')),true,0,empty,empty)))),field(phys_context,fd(1,'CONTEXT')),field(priority,avl_set(node((fd(2,'TASK'),int(0)),true,0,node((fd(1,'TASK'),int(4)),true,0,empty,empty),node((fd(3,'TASK'),int(0)),true,0,empty,empty)))),field(running_task,fd(1,'TASK')),field(state,avl_set(node((fd(2,'TASK'),fd(1,'STATE')),true,0,node((fd(1,'TASK'),fd(5,'STATE')),true,0,empty,empty),node((fd(3,'TASK'),fd(2,'STATE')),true,0,empty,empty)))),field(tasks,avl_set(node(fd(1,'TASK'),true,1,empty,node(fd(3,'TASK'),true,0,empty,empty))))])),('$fd_CORE2',rec([field(idle,fd(2,'TASK')),field(log_context,avl_set(node((fd(2,'TASK'),fd(1,'CONTEXT')),true,0,node((fd(1,'TASK'),fd(1,'CONTEXT')),true,0,empty,empty),node((fd(3,'TASK'),fd(1,'CONTEXT')),true,0,empty,empty)))),field(phys_context,fd(1,'CONTEXT')),field(priority,avl_set(node((fd(2,'TASK'),int(0)),true,0,node((fd(1,'TASK'),int(4)),true,0,empty,empty),node((fd(3,'TASK'),int(0)),true,0,empty,empty)))),field(running_task,fd(2,'TASK')),field(state,avl_set(node((fd(2,'TASK'),fd(5,'STATE')),true,0,node((fd(1,'TASK'),fd(1,'STATE')),true,0,empty,empty),node((fd(3,'TASK'),fd(1,'STATE')),true,0,empty,empty)))),field(tasks,avl_set(node(fd(2,'TASK'),true,0,empty,empty)))]))]),[])))).
packed_visited_expression(37,const_and_vars(6,'$bind_var'(exeCore,'$avl_expanded'([('$fd_TASK1','$fd_CORE2'),('$fd_TASK2','$fd_CORE2'),('$fd_TASK3','$fd_CORE1')]),'$bind_var'(subTask,'$avl_expanded'([('$fd_CORE1',rec([field(idle,fd(3,'TASK')),field(log_context,avl_set(node((fd(2,'TASK'),fd(1,'CONTEXT')),true,0,node((fd(1,'TASK'),fd(1,'CONTEXT')),true,0,empty,empty),node((fd(3,'TASK'),fd(1,'CONTEXT')),true,0,empty,empty)))),field(phys_context,fd(1,'CONTEXT')),field(priority,avl_set(node((fd(2,'TASK'),int(0)),true,0,node((fd(1,'TASK'),int(3)),true,0,empty,empty),node((fd(3,'TASK'),int(0)),true,0,empty,empty)))),field(running_task,fd(3,'TASK')),field(state,avl_set(node((fd(2,'TASK'),fd(1,'STATE')),true,0,node((fd(1,'TASK'),fd(1,'STATE')),true,0,empty,empty),node((fd(3,'TASK'),fd(5,'STATE')),true,0,empty,empty)))),field(tasks,avl_set(node(fd(3,'TASK'),true,0,empty,empty)))])),('$fd_CORE2',rec([field(idle,fd(2,'TASK')),field(log_context,avl_set(node((fd(2,'TASK'),fd(1,'CONTEXT')),true,0,node((fd(1,'TASK'),fd(1,'CONTEXT')),true,0,empty,empty),node((fd(3,'TASK'),fd(1,'CONTEXT')),true,0,empty,empty)))),field(phys_context,fd(1,'CONTEXT')),field(priority,avl_set(node((fd(2,'TASK'),int(0)),true,0,node((fd(1,'TASK'),int(0)),true,0,empty,empty),node((fd(3,'TASK'),int(0)),true,0,empty,empty)))),field(running_task,fd(2,'TASK')),field(state,avl_set(node((fd(2,'TASK'),fd(5,'STATE')),true,0,node((fd(1,'TASK'),fd(4,'STATE')),true,0,empty,empty),node((fd(3,'TASK'),fd(1,'STATE')),true,0,empty,empty)))),field(tasks,avl_set(node(fd(1,'TASK'),true,1,empty,node(fd(2,'TASK'),true,0,empty,empty))))]))]),[])))).
packed_visited_expression(38,const_and_vars(6,'$bind_var'(exeCore,'$avl_expanded'([('$fd_TASK1','$fd_CORE1'),('$fd_TASK2','$fd_CORE2'),('$fd_TASK3','$fd_CORE1')]),'$bind_var'(subTask,'$avl_expanded'([('$fd_CORE1',rec([field(idle,fd(3,'TASK')),field(log_context,avl_set(node((fd(2,'TASK'),fd(1,'CONTEXT')),true,0,node((fd(1,'TASK'),fd(1,'CONTEXT')),true,0,empty,empty),node((fd(3,'TASK'),fd(1,'CONTEXT')),true,0,empty,empty)))),field(phys_context,fd(1,'CONTEXT')),field(priority,avl_set(node((fd(2,'TASK'),int(0)),true,0,node((fd(1,'TASK'),int(0)),true,0,empty,empty),node((fd(3,'TASK'),int(0)),true,0,empty,empty)))),field(running_task,fd(3,'TASK')),field(state,avl_set(node((fd(2,'TASK'),fd(1,'STATE')),true,0,node((fd(1,'TASK'),fd(2,'STATE')),true,0,empty,empty),node((fd(3,'TASK'),fd(5,'STATE')),true,0,empty,empty)))),field(tasks,avl_set(node(fd(1,'TASK'),true,1,empty,node(fd(3,'TASK'),true,0,empty,empty))))])),('$fd_CORE2',rec([field(idle,fd(2,'TASK')),field(log_context,avl_set(node((fd(2,'TASK'),fd(1,'CONTEXT')),true,0,node((fd(1,'TASK'),fd(1,'CONTEXT')),true,0,empty,empty),node((fd(3,'TASK'),fd(1,'CONTEXT')),true,0,empty,empty)))),field(phys_context,fd(1,'CONTEXT')),field(priority,avl_set(node((fd(2,'TASK'),int(0)),true,0,node((fd(1,'TASK'),int(3)),true,0,empty,empty),node((fd(3,'TASK'),int(0)),true,0,empty,empty)))),field(running_task,fd(2,'TASK')),field(state,avl_set(node((fd(2,'TASK'),fd(5,'STATE')),true,0,node((fd(1,'TASK'),fd(1,'STATE')),true,0,empty,empty),node((fd(3,'TASK'),fd(1,'STATE')),true,0,empty,empty)))),field(tasks,avl_set(node(fd(2,'TASK'),true,0,empty,empty)))]))]),[])))).
packed_visited_expression(39,const_and_vars(6,'$bind_var'(exeCore,'$avl_expanded'([('$fd_TASK1','$fd_CORE2'),('$fd_TASK2','$fd_CORE2'),('$fd_TASK3','$fd_CORE1')]),'$bind_var'(subTask,'$avl_expanded'([('$fd_CORE1',rec([field(idle,fd(3,'TASK')),field(log_context,avl_set(node((fd(2,'TASK'),fd(1,'CONTEXT')),true,0,node((fd(1,'TASK'),fd(1,'CONTEXT')),true,0,empty,empty),node((fd(3,'TASK'),fd(1,'CONTEXT')),true,0,empty,empty)))),field(phys_context,fd(1,'CONTEXT')),field(priority,avl_set(node((fd(2,'TASK'),int(0)),true,0,node((fd(1,'TASK'),int(3)),true,0,empty,empty),node((fd(3,'TASK'),int(0)),true,0,empty,empty)))),field(running_task,fd(3,'TASK')),field(state,avl_set(node((fd(2,'TASK'),fd(1,'STATE')),true,0,node((fd(1,'TASK'),fd(1,'STATE')),true,0,empty,empty),node((fd(3,'TASK'),fd(5,'STATE')),true,0,empty,empty)))),field(tasks,avl_set(node(fd(3,'TASK'),true,0,empty,empty)))])),('$fd_CORE2',rec([field(idle,fd(2,'TASK')),field(log_context,avl_set(node((fd(2,'TASK'),fd(1,'CONTEXT')),true,0,node((fd(1,'TASK'),fd(1,'CONTEXT')),true,0,empty,empty),node((fd(3,'TASK'),fd(1,'CONTEXT')),true,0,empty,empty)))),field(phys_context,fd(1,'CONTEXT')),field(priority,avl_set(node((fd(2,'TASK'),int(0)),true,0,node((fd(1,'TASK'),int(0)),true,0,empty,empty),node((fd(3,'TASK'),int(0)),true,0,empty,empty)))),field(running_task,fd(2,'TASK')),field(state,avl_set(node((fd(2,'TASK'),fd(5,'STATE')),true,0,node((fd(1,'TASK'),fd(2,'STATE')),true,0,empty,empty),node((fd(3,'TASK'),fd(1,'STATE')),true,0,empty,empty)))),field(tasks,avl_set(node(fd(1,'TASK'),true,1,empty,node(fd(2,'TASK'),true,0,empty,empty))))]))]),[])))).
packed_visited_expression(40,const_and_vars(6,'$bind_var'(exeCore,'$avl_expanded'([('$fd_TASK1','$fd_CORE1'),('$fd_TASK2','$fd_CORE2'),('$fd_TASK3','$fd_CORE1')]),'$bind_var'(subTask,'$avl_expanded'([('$fd_CORE1',rec([field(idle,fd(3,'TASK')),field(log_context,avl_set(node((fd(2,'TASK'),fd(1,'CONTEXT')),true,0,node((fd(1,'TASK'),fd(1,'CONTEXT')),true,0,empty,empty),node((fd(3,'TASK'),fd(1,'CONTEXT')),true,0,empty,empty)))),field(phys_context,fd(1,'CONTEXT')),field(priority,avl_set(node((fd(2,'TASK'),int(0)),true,0,node((fd(1,'TASK'),int(1)),true,0,empty,empty),node((fd(3,'TASK'),int(0)),true,0,empty,empty)))),field(running_task,fd(1,'TASK')),field(state,avl_set(node((fd(2,'TASK'),fd(1,'STATE')),true,0,node((fd(1,'TASK'),fd(5,'STATE')),true,0,empty,empty),node((fd(3,'TASK'),fd(2,'STATE')),true,0,empty,empty)))),field(tasks,avl_set(node(fd(1,'TASK'),true,1,empty,node(fd(3,'TASK'),true,0,empty,empty))))])),('$fd_CORE2',rec([field(idle,fd(2,'TASK')),field(log_context,avl_set(node((fd(2,'TASK'),fd(1,'CONTEXT')),true,0,node((fd(1,'TASK'),fd(1,'CONTEXT')),true,0,empty,empty),node((fd(3,'TASK'),fd(1,'CONTEXT')),true,0,empty,empty)))),field(phys_context,fd(1,'CONTEXT')),field(priority,avl_set(node((fd(2,'TASK'),int(0)),true,0,node((fd(1,'TASK'),int(3)),true,0,empty,empty),node((fd(3,'TASK'),int(0)),true,0,empty,empty)))),field(running_task,fd(2,'TASK')),field(state,avl_set(node((fd(2,'TASK'),fd(5,'STATE')),true,0,node((fd(1,'TASK'),fd(1,'STATE')),true,0,empty,empty),node((fd(3,'TASK'),fd(1,'STATE')),true,0,empty,empty)))),field(tasks,avl_set(node(fd(2,'TASK'),true,0,empty,empty)))]))]),[])))).
packed_visited_expression(41,const_and_vars(6,'$bind_var'(exeCore,'$avl_expanded'([('$fd_TASK1','$fd_CORE1'),('$fd_TASK2','$fd_CORE2'),('$fd_TASK3','$fd_CORE1')]),'$bind_var'(subTask,'$avl_expanded'([('$fd_CORE1',rec([field(idle,fd(3,'TASK')),field(log_context,avl_set(node((fd(2,'TASK'),fd(1,'CONTEXT')),true,0,node((fd(1,'TASK'),fd(1,'CONTEXT')),true,0,empty,empty),node((fd(3,'TASK'),fd(1,'CONTEXT')),true,0,empty,empty)))),field(phys_context,fd(1,'CONTEXT')),field(priority,avl_set(node((fd(2,'TASK'),int(0)),true,0,node((fd(1,'TASK'),int(2)),true,0,empty,empty),node((fd(3,'TASK'),int(0)),true,0,empty,empty)))),field(running_task,fd(1,'TASK')),field(state,avl_set(node((fd(2,'TASK'),fd(1,'STATE')),true,0,node((fd(1,'TASK'),fd(5,'STATE')),true,0,empty,empty),node((fd(3,'TASK'),fd(2,'STATE')),true,0,empty,empty)))),field(tasks,avl_set(node(fd(1,'TASK'),true,1,empty,node(fd(3,'TASK'),true,0,empty,empty))))])),('$fd_CORE2',rec([field(idle,fd(2,'TASK')),field(log_context,avl_set(node((fd(2,'TASK'),fd(1,'CONTEXT')),true,0,node((fd(1,'TASK'),fd(1,'CONTEXT')),true,0,empty,empty),node((fd(3,'TASK'),fd(1,'CONTEXT')),true,0,empty,empty)))),field(phys_context,fd(1,'CONTEXT')),field(priority,avl_set(node((fd(2,'TASK'),int(0)),true,0,node((fd(1,'TASK'),int(3)),true,0,empty,empty),node((fd(3,'TASK'),int(0)),true,0,empty,empty)))),field(running_task,fd(2,'TASK')),field(state,avl_set(node((fd(2,'TASK'),fd(5,'STATE')),true,0,node((fd(1,'TASK'),fd(1,'STATE')),true,0,empty,empty),node((fd(3,'TASK'),fd(1,'STATE')),true,0,empty,empty)))),field(tasks,avl_set(node(fd(2,'TASK'),true,0,empty,empty)))]))]),[])))).
packed_visited_expression(42,const_and_vars(6,'$bind_var'(exeCore,'$avl_expanded'([('$fd_TASK1','$fd_CORE1'),('$fd_TASK2','$fd_CORE2'),('$fd_TASK3','$fd_CORE1')]),'$bind_var'(subTask,'$avl_expanded'([('$fd_CORE1',rec([field(idle,fd(3,'TASK')),field(log_context,avl_set(node((fd(2,'TASK'),fd(1,'CONTEXT')),true,0,node((fd(1,'TASK'),fd(1,'CONTEXT')),true,0,empty,empty),node((fd(3,'TASK'),fd(1,'CONTEXT')),true,0,empty,empty)))),field(phys_context,fd(1,'CONTEXT')),field(priority,avl_set(node((fd(2,'TASK'),int(0)),true,0,node((fd(1,'TASK'),int(4)),true,0,empty,empty),node((fd(3,'TASK'),int(0)),true,0,empty,empty)))),field(running_task,fd(1,'TASK')),field(state,avl_set(node((fd(2,'TASK'),fd(1,'STATE')),true,0,node((fd(1,'TASK'),fd(5,'STATE')),true,0,empty,empty),node((fd(3,'TASK'),fd(2,'STATE')),true,0,empty,empty)))),field(tasks,avl_set(node(fd(1,'TASK'),true,1,empty,node(fd(3,'TASK'),true,0,empty,empty))))])),('$fd_CORE2',rec([field(idle,fd(2,'TASK')),field(log_context,avl_set(node((fd(2,'TASK'),fd(1,'CONTEXT')),true,0,node((fd(1,'TASK'),fd(1,'CONTEXT')),true,0,empty,empty),node((fd(3,'TASK'),fd(1,'CONTEXT')),true,0,empty,empty)))),field(phys_context,fd(1,'CONTEXT')),field(priority,avl_set(node((fd(2,'TASK'),int(0)),true,0,node((fd(1,'TASK'),int(3)),true,0,empty,empty),node((fd(3,'TASK'),int(0)),true,0,empty,empty)))),field(running_task,fd(2,'TASK')),field(state,avl_set(node((fd(2,'TASK'),fd(5,'STATE')),true,0,node((fd(1,'TASK'),fd(1,'STATE')),true,0,empty,empty),node((fd(3,'TASK'),fd(1,'STATE')),true,0,empty,empty)))),field(tasks,avl_set(node(fd(2,'TASK'),true,0,empty,empty)))]))]),[])))).
packed_visited_expression(43,const_and_vars(6,'$bind_var'(exeCore,'$avl_expanded'([('$fd_TASK1','$fd_CORE2'),('$fd_TASK2','$fd_CORE2'),('$fd_TASK3','$fd_CORE1')]),'$bind_var'(subTask,'$avl_expanded'([('$fd_CORE1',rec([field(idle,fd(3,'TASK')),field(log_context,avl_set(node((fd(2,'TASK'),fd(1,'CONTEXT')),true,0,node((fd(1,'TASK'),fd(1,'CONTEXT')),true,0,empty,empty),node((fd(3,'TASK'),fd(1,'CONTEXT')),true,0,empty,empty)))),field(phys_context,fd(1,'CONTEXT')),field(priority,avl_set(node((fd(2,'TASK'),int(0)),true,0,node((fd(1,'TASK'),int(3)),true,0,empty,empty),node((fd(3,'TASK'),int(0)),true,0,empty,empty)))),field(running_task,fd(3,'TASK')),field(state,avl_set(node((fd(2,'TASK'),fd(1,'STATE')),true,0,node((fd(1,'TASK'),fd(1,'STATE')),true,0,empty,empty),node((fd(3,'TASK'),fd(5,'STATE')),true,0,empty,empty)))),field(tasks,avl_set(node(fd(3,'TASK'),true,0,empty,empty)))])),('$fd_CORE2',rec([field(idle,fd(2,'TASK')),field(log_context,avl_set(node((fd(2,'TASK'),fd(1,'CONTEXT')),true,0,node((fd(1,'TASK'),fd(1,'CONTEXT')),true,0,empty,empty),node((fd(3,'TASK'),fd(1,'CONTEXT')),true,0,empty,empty)))),field(phys_context,fd(1,'CONTEXT')),field(priority,avl_set(node((fd(2,'TASK'),int(0)),true,0,node((fd(1,'TASK'),int(1)),true,0,empty,empty),node((fd(3,'TASK'),int(0)),true,0,empty,empty)))),field(running_task,fd(2,'TASK')),field(state,avl_set(node((fd(2,'TASK'),fd(5,'STATE')),true,0,node((fd(1,'TASK'),fd(4,'STATE')),true,0,empty,empty),node((fd(3,'TASK'),fd(1,'STATE')),true,0,empty,empty)))),field(tasks,avl_set(node(fd(1,'TASK'),true,1,empty,node(fd(2,'TASK'),true,0,empty,empty))))]))]),[])))).
packed_visited_expression(44,const_and_vars(6,'$bind_var'(exeCore,'$avl_expanded'([('$fd_TASK1','$fd_CORE2'),('$fd_TASK2','$fd_CORE2'),('$fd_TASK3','$fd_CORE1')]),'$bind_var'(subTask,'$avl_expanded'([('$fd_CORE1',rec([field(idle,fd(3,'TASK')),field(log_context,avl_set(node((fd(2,'TASK'),fd(1,'CONTEXT')),true,0,node((fd(1,'TASK'),fd(1,'CONTEXT')),true,0,empty,empty),node((fd(3,'TASK'),fd(1,'CONTEXT')),true,0,empty,empty)))),field(phys_context,fd(1,'CONTEXT')),field(priority,avl_set(node((fd(2,'TASK'),int(0)),true,0,node((fd(1,'TASK'),int(3)),true,0,empty,empty),node((fd(3,'TASK'),int(0)),true,0,empty,empty)))),field(running_task,fd(3,'TASK')),field(state,avl_set(node((fd(2,'TASK'),fd(1,'STATE')),true,0,node((fd(1,'TASK'),fd(1,'STATE')),true,0,empty,empty),node((fd(3,'TASK'),fd(5,'STATE')),true,0,empty,empty)))),field(tasks,avl_set(node(fd(3,'TASK'),true,0,empty,empty)))])),('$fd_CORE2',rec([field(idle,fd(2,'TASK')),field(log_context,avl_set(node((fd(2,'TASK'),fd(1,'CONTEXT')),true,0,node((fd(1,'TASK'),fd(1,'CONTEXT')),true,0,empty,empty),node((fd(3,'TASK'),fd(1,'CONTEXT')),true,0,empty,empty)))),field(phys_context,fd(1,'CONTEXT')),field(priority,avl_set(node((fd(2,'TASK'),int(0)),true,0,node((fd(1,'TASK'),int(2)),true,0,empty,empty),node((fd(3,'TASK'),int(0)),true,0,empty,empty)))),field(running_task,fd(2,'TASK')),field(state,avl_set(node((fd(2,'TASK'),fd(5,'STATE')),true,0,node((fd(1,'TASK'),fd(4,'STATE')),true,0,empty,empty),node((fd(3,'TASK'),fd(1,'STATE')),true,0,empty,empty)))),field(tasks,avl_set(node(fd(1,'TASK'),true,1,empty,node(fd(2,'TASK'),true,0,empty,empty))))]))]),[])))).
packed_visited_expression(45,const_and_vars(6,'$bind_var'(exeCore,'$avl_expanded'([('$fd_TASK2','$fd_CORE2'),('$fd_TASK3','$fd_CORE1')]),'$bind_var'(subTask,'$avl_expanded'([('$fd_CORE1',rec([field(idle,fd(3,'TASK')),field(log_context,avl_set(node((fd(2,'TASK'),fd(1,'CONTEXT')),true,0,node((fd(1,'TASK'),fd(1,'CONTEXT')),true,0,empty,empty),node((fd(3,'TASK'),fd(1,'CONTEXT')),true,0,empty,empty)))),field(phys_context,fd(1,'CONTEXT')),field(priority,avl_set(node((fd(2,'TASK'),int(0)),true,0,node((fd(1,'TASK'),int(3)),true,0,empty,empty),node((fd(3,'TASK'),int(0)),true,0,empty,empty)))),field(running_task,fd(3,'TASK')),field(state,avl_set(node((fd(2,'TASK'),fd(1,'STATE')),true,0,node((fd(1,'TASK'),fd(1,'STATE')),true,0,empty,empty),node((fd(3,'TASK'),fd(5,'STATE')),true,0,empty,empty)))),field(tasks,avl_set(node(fd(3,'TASK'),true,0,empty,empty)))])),('$fd_CORE2',rec([field(idle,fd(2,'TASK')),field(log_context,avl_set(node((fd(2,'TASK'),fd(1,'CONTEXT')),true,0,node((fd(1,'TASK'),fd(1,'CONTEXT')),true,0,empty,empty),node((fd(3,'TASK'),fd(1,'CONTEXT')),true,0,empty,empty)))),field(phys_context,fd(1,'CONTEXT')),field(priority,avl_set(node((fd(2,'TASK'),int(0)),true,0,node((fd(1,'TASK'),int(2)),true,0,empty,empty),node((fd(3,'TASK'),int(0)),true,0,empty,empty)))),field(running_task,fd(2,'TASK')),field(state,avl_set(node((fd(2,'TASK'),fd(5,'STATE')),true,0,node((fd(1,'TASK'),fd(1,'STATE')),true,0,empty,empty),node((fd(3,'TASK'),fd(1,'STATE')),true,0,empty,empty)))),field(tasks,avl_set(node(fd(2,'TASK'),true,0,empty,empty)))]))]),[])))).
packed_visited_expression(46,const_and_vars(6,'$bind_var'(exeCore,'$avl_expanded'([('$fd_TASK2','$fd_CORE2'),('$fd_TASK3','$fd_CORE1')]),'$bind_var'(subTask,'$avl_expanded'([('$fd_CORE1',rec([field(idle,fd(3,'TASK')),field(log_context,avl_set(node((fd(2,'TASK'),fd(1,'CONTEXT')),true,0,node((fd(1,'TASK'),fd(1,'CONTEXT')),true,0,empty,empty),node((fd(3,'TASK'),fd(1,'CONTEXT')),true,0,empty,empty)))),field(phys_context,fd(1,'CONTEXT')),field(priority,avl_set(node((fd(2,'TASK'),int(0)),true,0,node((fd(1,'TASK'),int(3)),true,0,empty,empty),node((fd(3,'TASK'),int(0)),true,0,empty,empty)))),field(running_task,fd(3,'TASK')),field(state,avl_set(node((fd(2,'TASK'),fd(1,'STATE')),true,0,node((fd(1,'TASK'),fd(1,'STATE')),true,0,empty,empty),node((fd(3,'TASK'),fd(5,'STATE')),true,0,empty,empty)))),field(tasks,avl_set(node(fd(3,'TASK'),true,0,empty,empty)))])),('$fd_CORE2',rec([field(idle,fd(2,'TASK')),field(log_context,avl_set(node((fd(2,'TASK'),fd(1,'CONTEXT')),true,0,node((fd(1,'TASK'),fd(1,'CONTEXT')),true,0,empty,empty),node((fd(3,'TASK'),fd(1,'CONTEXT')),true,0,empty,empty)))),field(phys_context,fd(1,'CONTEXT')),field(priority,avl_set(node((fd(2,'TASK'),int(0)),true,0,node((fd(1,'TASK'),int(1)),true,0,empty,empty),node((fd(3,'TASK'),int(0)),true,0,empty,empty)))),field(running_task,fd(2,'TASK')),field(state,avl_set(node((fd(2,'TASK'),fd(5,'STATE')),true,0,node((fd(1,'TASK'),fd(1,'STATE')),true,0,empty,empty),node((fd(3,'TASK'),fd(1,'STATE')),true,0,empty,empty)))),field(tasks,avl_set(node(fd(2,'TASK'),true,0,empty,empty)))]))]),[])))).
packed_visited_expression(47,const_and_vars(6,'$bind_var'(exeCore,'$avl_expanded'([('$fd_TASK1','$fd_CORE1'),('$fd_TASK2','$fd_CORE2'),('$fd_TASK3','$fd_CORE1')]),'$bind_var'(subTask,'$avl_expanded'([('$fd_CORE1',rec([field(idle,fd(3,'TASK')),field(log_context,avl_set(node((fd(2,'TASK'),fd(1,'CONTEXT')),true,0,node((fd(1,'TASK'),fd(1,'CONTEXT')),true,0,empty,empty),node((fd(3,'TASK'),fd(1,'CONTEXT')),true,0,empty,empty)))),field(phys_context,fd(1,'CONTEXT')),field(priority,avl_set(node((fd(2,'TASK'),int(0)),true,0,node((fd(1,'TASK'),int(0)),true,0,empty,empty),node((fd(3,'TASK'),int(0)),true,0,empty,empty)))),field(running_task,fd(3,'TASK')),field(state,avl_set(node((fd(2,'TASK'),fd(1,'STATE')),true,0,node((fd(1,'TASK'),fd(2,'STATE')),true,0,empty,empty),node((fd(3,'TASK'),fd(5,'STATE')),true,0,empty,empty)))),field(tasks,avl_set(node(fd(1,'TASK'),true,1,empty,node(fd(3,'TASK'),true,0,empty,empty))))])),('$fd_CORE2',rec([field(idle,fd(2,'TASK')),field(log_context,avl_set(node((fd(2,'TASK'),fd(1,'CONTEXT')),true,0,node((fd(1,'TASK'),fd(1,'CONTEXT')),true,0,empty,empty),node((fd(3,'TASK'),fd(1,'CONTEXT')),true,0,empty,empty)))),field(phys_context,fd(1,'CONTEXT')),field(priority,avl_set(node((fd(2,'TASK'),int(0)),true,0,node((fd(1,'TASK'),int(1)),true,0,empty,empty),node((fd(3,'TASK'),int(0)),true,0,empty,empty)))),field(running_task,fd(2,'TASK')),field(state,avl_set(node((fd(2,'TASK'),fd(5,'STATE')),true,0,node((fd(1,'TASK'),fd(1,'STATE')),true,0,empty,empty),node((fd(3,'TASK'),fd(1,'STATE')),true,0,empty,empty)))),field(tasks,avl_set(node(fd(2,'TASK'),true,0,empty,empty)))]))]),[])))).
packed_visited_expression(48,const_and_vars(6,'$bind_var'(exeCore,'$avl_expanded'([('$fd_TASK1','$fd_CORE1'),('$fd_TASK2','$fd_CORE2'),('$fd_TASK3','$fd_CORE1')]),'$bind_var'(subTask,'$avl_expanded'([('$fd_CORE1',rec([field(idle,fd(3,'TASK')),field(log_context,avl_set(node((fd(2,'TASK'),fd(1,'CONTEXT')),true,0,node((fd(1,'TASK'),fd(1,'CONTEXT')),true,0,empty,empty),node((fd(3,'TASK'),fd(1,'CONTEXT')),true,0,empty,empty)))),field(phys_context,fd(1,'CONTEXT')),field(priority,avl_set(node((fd(2,'TASK'),int(0)),true,0,node((fd(1,'TASK'),int(1)),true,0,empty,empty),node((fd(3,'TASK'),int(0)),true,0,empty,empty)))),field(running_task,fd(1,'TASK')),field(state,avl_set(node((fd(2,'TASK'),fd(1,'STATE')),true,0,node((fd(1,'TASK'),fd(5,'STATE')),true,0,empty,empty),node((fd(3,'TASK'),fd(2,'STATE')),true,0,empty,empty)))),field(tasks,avl_set(node(fd(1,'TASK'),true,1,empty,node(fd(3,'TASK'),true,0,empty,empty))))])),('$fd_CORE2',rec([field(idle,fd(2,'TASK')),field(log_context,avl_set(node((fd(2,'TASK'),fd(1,'CONTEXT')),true,0,node((fd(1,'TASK'),fd(1,'CONTEXT')),true,0,empty,empty),node((fd(3,'TASK'),fd(1,'CONTEXT')),true,0,empty,empty)))),field(phys_context,fd(1,'CONTEXT')),field(priority,avl_set(node((fd(2,'TASK'),int(0)),true,0,node((fd(1,'TASK'),int(1)),true,0,empty,empty),node((fd(3,'TASK'),int(0)),true,0,empty,empty)))),field(running_task,fd(2,'TASK')),field(state,avl_set(node((fd(2,'TASK'),fd(5,'STATE')),true,0,node((fd(1,'TASK'),fd(1,'STATE')),true,0,empty,empty),node((fd(3,'TASK'),fd(1,'STATE')),true,0,empty,empty)))),field(tasks,avl_set(node(fd(2,'TASK'),true,0,empty,empty)))]))]),[])))).
packed_visited_expression(49,const_and_vars(6,'$bind_var'(exeCore,'$avl_expanded'([('$fd_TASK1','$fd_CORE1'),('$fd_TASK2','$fd_CORE2'),('$fd_TASK3','$fd_CORE1')]),'$bind_var'(subTask,'$avl_expanded'([('$fd_CORE1',rec([field(idle,fd(3,'TASK')),field(log_context,avl_set(node((fd(2,'TASK'),fd(1,'CONTEXT')),true,0,node((fd(1,'TASK'),fd(1,'CONTEXT')),true,0,empty,empty),node((fd(3,'TASK'),fd(1,'CONTEXT')),true,0,empty,empty)))),field(phys_context,fd(1,'CONTEXT')),field(priority,avl_set(node((fd(2,'TASK'),int(0)),true,0,node((fd(1,'TASK'),int(2)),true,0,empty,empty),node((fd(3,'TASK'),int(0)),true,0,empty,empty)))),field(running_task,fd(1,'TASK')),field(state,avl_set(node((fd(2,'TASK'),fd(1,'STATE')),true,0,node((fd(1,'TASK'),fd(5,'STATE')),true,0,empty,empty),node((fd(3,'TASK'),fd(2,'STATE')),true,0,empty,empty)))),field(tasks,avl_set(node(fd(1,'TASK'),true,1,empty,node(fd(3,'TASK'),true,0,empty,empty))))])),('$fd_CORE2',rec([field(idle,fd(2,'TASK')),field(log_context,avl_set(node((fd(2,'TASK'),fd(1,'CONTEXT')),true,0,node((fd(1,'TASK'),fd(1,'CONTEXT')),true,0,empty,empty),node((fd(3,'TASK'),fd(1,'CONTEXT')),true,0,empty,empty)))),field(phys_context,fd(1,'CONTEXT')),field(priority,avl_set(node((fd(2,'TASK'),int(0)),true,0,node((fd(1,'TASK'),int(1)),true,0,empty,empty),node((fd(3,'TASK'),int(0)),true,0,empty,empty)))),field(running_task,fd(2,'TASK')),field(state,avl_set(node((fd(2,'TASK'),fd(5,'STATE')),true,0,node((fd(1,'TASK'),fd(1,'STATE')),true,0,empty,empty),node((fd(3,'TASK'),fd(1,'STATE')),true,0,empty,empty)))),field(tasks,avl_set(node(fd(2,'TASK'),true,0,empty,empty)))]))]),[])))).
packed_visited_expression(50,const_and_vars(6,'$bind_var'(exeCore,'$avl_expanded'([('$fd_TASK1','$fd_CORE1'),('$fd_TASK2','$fd_CORE2'),('$fd_TASK3','$fd_CORE1')]),'$bind_var'(subTask,'$avl_expanded'([('$fd_CORE1',rec([field(idle,fd(3,'TASK')),field(log_context,avl_set(node((fd(2,'TASK'),fd(1,'CONTEXT')),true,0,node((fd(1,'TASK'),fd(1,'CONTEXT')),true,0,empty,empty),node((fd(3,'TASK'),fd(1,'CONTEXT')),true,0,empty,empty)))),field(phys_context,fd(1,'CONTEXT')),field(priority,avl_set(node((fd(2,'TASK'),int(0)),true,0,node((fd(1,'TASK'),int(3)),true,0,empty,empty),node((fd(3,'TASK'),int(0)),true,0,empty,empty)))),field(running_task,fd(1,'TASK')),field(state,avl_set(node((fd(2,'TASK'),fd(1,'STATE')),true,0,node((fd(1,'TASK'),fd(5,'STATE')),true,0,empty,empty),node((fd(3,'TASK'),fd(2,'STATE')),true,0,empty,empty)))),field(tasks,avl_set(node(fd(1,'TASK'),true,1,empty,node(fd(3,'TASK'),true,0,empty,empty))))])),('$fd_CORE2',rec([field(idle,fd(2,'TASK')),field(log_context,avl_set(node((fd(2,'TASK'),fd(1,'CONTEXT')),true,0,node((fd(1,'TASK'),fd(1,'CONTEXT')),true,0,empty,empty),node((fd(3,'TASK'),fd(1,'CONTEXT')),true,0,empty,empty)))),field(phys_context,fd(1,'CONTEXT')),field(priority,avl_set(node((fd(2,'TASK'),int(0)),true,0,node((fd(1,'TASK'),int(1)),true,0,empty,empty),node((fd(3,'TASK'),int(0)),true,0,empty,empty)))),field(running_task,fd(2,'TASK')),field(state,avl_set(node((fd(2,'TASK'),fd(5,'STATE')),true,0,node((fd(1,'TASK'),fd(1,'STATE')),true,0,empty,empty),node((fd(3,'TASK'),fd(1,'STATE')),true,0,empty,empty)))),field(tasks,avl_set(node(fd(2,'TASK'),true,0,empty,empty)))]))]),[])))).
packed_visited_expression(51,const_and_vars(6,'$bind_var'(exeCore,'$avl_expanded'([('$fd_TASK1','$fd_CORE1'),('$fd_TASK2','$fd_CORE2'),('$fd_TASK3','$fd_CORE1')]),'$bind_var'(subTask,'$avl_expanded'([('$fd_CORE1',rec([field(idle,fd(3,'TASK')),field(log_context,avl_set(node((fd(2,'TASK'),fd(1,'CONTEXT')),true,0,node((fd(1,'TASK'),fd(1,'CONTEXT')),true,0,empty,empty),node((fd(3,'TASK'),fd(1,'CONTEXT')),true,0,empty,empty)))),field(phys_context,fd(1,'CONTEXT')),field(priority,avl_set(node((fd(2,'TASK'),int(0)),true,0,node((fd(1,'TASK'),int(4)),true,0,empty,empty),node((fd(3,'TASK'),int(0)),true,0,empty,empty)))),field(running_task,fd(1,'TASK')),field(state,avl_set(node((fd(2,'TASK'),fd(1,'STATE')),true,0,node((fd(1,'TASK'),fd(5,'STATE')),true,0,empty,empty),node((fd(3,'TASK'),fd(2,'STATE')),true,0,empty,empty)))),field(tasks,avl_set(node(fd(1,'TASK'),true,1,empty,node(fd(3,'TASK'),true,0,empty,empty))))])),('$fd_CORE2',rec([field(idle,fd(2,'TASK')),field(log_context,avl_set(node((fd(2,'TASK'),fd(1,'CONTEXT')),true,0,node((fd(1,'TASK'),fd(1,'CONTEXT')),true,0,empty,empty),node((fd(3,'TASK'),fd(1,'CONTEXT')),true,0,empty,empty)))),field(phys_context,fd(1,'CONTEXT')),field(priority,avl_set(node((fd(2,'TASK'),int(0)),true,0,node((fd(1,'TASK'),int(1)),true,0,empty,empty),node((fd(3,'TASK'),int(0)),true,0,empty,empty)))),field(running_task,fd(2,'TASK')),field(state,avl_set(node((fd(2,'TASK'),fd(5,'STATE')),true,0,node((fd(1,'TASK'),fd(1,'STATE')),true,0,empty,empty),node((fd(3,'TASK'),fd(1,'STATE')),true,0,empty,empty)))),field(tasks,avl_set(node(fd(2,'TASK'),true,0,empty,empty)))]))]),[])))).
packed_visited_expression(52,const_and_vars(6,'$bind_var'(exeCore,'$avl_expanded'([('$fd_TASK1','$fd_CORE1'),('$fd_TASK2','$fd_CORE2'),('$fd_TASK3','$fd_CORE1')]),'$bind_var'(subTask,'$avl_expanded'([('$fd_CORE1',rec([field(idle,fd(3,'TASK')),field(log_context,avl_set(node((fd(2,'TASK'),fd(1,'CONTEXT')),true,0,node((fd(1,'TASK'),fd(1,'CONTEXT')),true,0,empty,empty),node((fd(3,'TASK'),fd(1,'CONTEXT')),true,0,empty,empty)))),field(phys_context,fd(1,'CONTEXT')),field(priority,avl_set(node((fd(2,'TASK'),int(0)),true,0,node((fd(1,'TASK'),int(3)),true,0,empty,empty),node((fd(3,'TASK'),int(0)),true,0,empty,empty)))),field(running_task,fd(3,'TASK')),field(state,avl_set(node((fd(2,'TASK'),fd(1,'STATE')),true,0,node((fd(1,'TASK'),fd(4,'STATE')),true,0,empty,empty),node((fd(3,'TASK'),fd(5,'STATE')),true,0,empty,empty)))),field(tasks,avl_set(node(fd(1,'TASK'),true,1,empty,node(fd(3,'TASK'),true,0,empty,empty))))])),('$fd_CORE2',rec([field(idle,fd(2,'TASK')),field(log_context,avl_set(node((fd(2,'TASK'),fd(1,'CONTEXT')),true,0,node((fd(1,'TASK'),fd(1,'CONTEXT')),true,0,empty,empty),node((fd(3,'TASK'),fd(1,'CONTEXT')),true,0,empty,empty)))),field(phys_context,fd(1,'CONTEXT')),field(priority,avl_set(node((fd(2,'TASK'),int(0)),true,0,node((fd(1,'TASK'),int(1)),true,0,empty,empty),node((fd(3,'TASK'),int(0)),true,0,empty,empty)))),field(running_task,fd(2,'TASK')),field(state,avl_set(node((fd(2,'TASK'),fd(5,'STATE')),true,0,node((fd(1,'TASK'),fd(1,'STATE')),true,0,empty,empty),node((fd(3,'TASK'),fd(1,'STATE')),true,0,empty,empty)))),field(tasks,avl_set(node(fd(2,'TASK'),true,0,empty,empty)))]))]),[])))).
packed_visited_expression(53,const_and_vars(6,'$bind_var'(exeCore,'$avl_expanded'([('$fd_TASK1','$fd_CORE1'),('$fd_TASK2','$fd_CORE2'),('$fd_TASK3','$fd_CORE1')]),'$bind_var'(subTask,'$avl_expanded'([('$fd_CORE1',rec([field(idle,fd(3,'TASK')),field(log_context,avl_set(node((fd(2,'TASK'),fd(1,'CONTEXT')),true,0,node((fd(1,'TASK'),fd(1,'CONTEXT')),true,0,empty,empty),node((fd(3,'TASK'),fd(1,'CONTEXT')),true,0,empty,empty)))),field(phys_context,fd(1,'CONTEXT')),field(priority,avl_set(node((fd(2,'TASK'),int(0)),true,0,node((fd(1,'TASK'),int(0)),true,0,empty,empty),node((fd(3,'TASK'),int(0)),true,0,empty,empty)))),field(running_task,fd(1,'TASK')),field(state,avl_set(node((fd(2,'TASK'),fd(1,'STATE')),true,0,node((fd(1,'TASK'),fd(5,'STATE')),true,0,empty,empty),node((fd(3,'TASK'),fd(2,'STATE')),true,0,empty,empty)))),field(tasks,avl_set(node(fd(1,'TASK'),true,1,empty,node(fd(3,'TASK'),true,0,empty,empty))))])),('$fd_CORE2',rec([field(idle,fd(2,'TASK')),field(log_context,avl_set(node((fd(2,'TASK'),fd(1,'CONTEXT')),true,0,node((fd(1,'TASK'),fd(1,'CONTEXT')),true,0,empty,empty),node((fd(3,'TASK'),fd(1,'CONTEXT')),true,0,empty,empty)))),field(phys_context,fd(1,'CONTEXT')),field(priority,avl_set(node((fd(2,'TASK'),int(0)),true,0,node((fd(1,'TASK'),int(1)),true,0,empty,empty),node((fd(3,'TASK'),int(0)),true,0,empty,empty)))),field(running_task,fd(2,'TASK')),field(state,avl_set(node((fd(2,'TASK'),fd(5,'STATE')),true,0,node((fd(1,'TASK'),fd(1,'STATE')),true,0,empty,empty),node((fd(3,'TASK'),fd(1,'STATE')),true,0,empty,empty)))),field(tasks,avl_set(node(fd(2,'TASK'),true,0,empty,empty)))]))]),[])))).
packed_visited_expression(54,const_and_vars(6,'$bind_var'(exeCore,'$avl_expanded'([('$fd_TASK2','$fd_CORE2'),('$fd_TASK3','$fd_CORE1')]),'$bind_var'(subTask,'$avl_expanded'([('$fd_CORE1',rec([field(idle,fd(3,'TASK')),field(log_context,avl_set(node((fd(2,'TASK'),fd(1,'CONTEXT')),true,0,node((fd(1,'TASK'),fd(1,'CONTEXT')),true,0,empty,empty),node((fd(3,'TASK'),fd(1,'CONTEXT')),true,0,empty,empty)))),field(phys_context,fd(1,'CONTEXT')),field(priority,avl_set(node((fd(2,'TASK'),int(0)),true,0,node((fd(1,'TASK'),int(4)),true,0,empty,empty),node((fd(3,'TASK'),int(0)),true,0,empty,empty)))),field(running_task,fd(3,'TASK')),field(state,avl_set(node((fd(2,'TASK'),fd(1,'STATE')),true,0,node((fd(1,'TASK'),fd(1,'STATE')),true,0,empty,empty),node((fd(3,'TASK'),fd(5,'STATE')),true,0,empty,empty)))),field(tasks,avl_set(node(fd(3,'TASK'),true,0,empty,empty)))])),('$fd_CORE2',rec([field(idle,fd(2,'TASK')),field(log_context,avl_set(node((fd(2,'TASK'),fd(1,'CONTEXT')),true,0,node((fd(1,'TASK'),fd(1,'CONTEXT')),true,0,empty,empty),node((fd(3,'TASK'),fd(1,'CONTEXT')),true,0,empty,empty)))),field(phys_context,fd(1,'CONTEXT')),field(priority,avl_set(node((fd(2,'TASK'),int(0)),true,0,node((fd(1,'TASK'),int(1)),true,0,empty,empty),node((fd(3,'TASK'),int(0)),true,0,empty,empty)))),field(running_task,fd(2,'TASK')),field(state,avl_set(node((fd(2,'TASK'),fd(5,'STATE')),true,0,node((fd(1,'TASK'),fd(1,'STATE')),true,0,empty,empty),node((fd(3,'TASK'),fd(1,'STATE')),true,0,empty,empty)))),field(tasks,avl_set(node(fd(2,'TASK'),true,0,empty,empty)))]))]),[])))).
packed_visited_expression(55,const_and_vars(6,'$bind_var'(exeCore,'$avl_expanded'([('$fd_TASK1','$fd_CORE1'),('$fd_TASK2','$fd_CORE2'),('$fd_TASK3','$fd_CORE1')]),'$bind_var'(subTask,'$avl_expanded'([('$fd_CORE1',rec([field(idle,fd(3,'TASK')),field(log_context,avl_set(node((fd(2,'TASK'),fd(1,'CONTEXT')),true,0,node((fd(1,'TASK'),fd(1,'CONTEXT')),true,0,empty,empty),node((fd(3,'TASK'),fd(1,'CONTEXT')),true,0,empty,empty)))),field(phys_context,fd(1,'CONTEXT')),field(priority,avl_set(node((fd(2,'TASK'),int(0)),true,0,node((fd(1,'TASK'),int(4)),true,0,empty,empty),node((fd(3,'TASK'),int(0)),true,0,empty,empty)))),field(running_task,fd(3,'TASK')),field(state,avl_set(node((fd(2,'TASK'),fd(1,'STATE')),true,0,node((fd(1,'TASK'),fd(4,'STATE')),true,0,empty,empty),node((fd(3,'TASK'),fd(5,'STATE')),true,0,empty,empty)))),field(tasks,avl_set(node(fd(1,'TASK'),true,1,empty,node(fd(3,'TASK'),true,0,empty,empty))))])),('$fd_CORE2',rec([field(idle,fd(2,'TASK')),field(log_context,avl_set(node((fd(2,'TASK'),fd(1,'CONTEXT')),true,0,node((fd(1,'TASK'),fd(1,'CONTEXT')),true,0,empty,empty),node((fd(3,'TASK'),fd(1,'CONTEXT')),true,0,empty,empty)))),field(phys_context,fd(1,'CONTEXT')),field(priority,avl_set(node((fd(2,'TASK'),int(0)),true,0,node((fd(1,'TASK'),int(1)),true,0,empty,empty),node((fd(3,'TASK'),int(0)),true,0,empty,empty)))),field(running_task,fd(2,'TASK')),field(state,avl_set(node((fd(2,'TASK'),fd(5,'STATE')),true,0,node((fd(1,'TASK'),fd(1,'STATE')),true,0,empty,empty),node((fd(3,'TASK'),fd(1,'STATE')),true,0,empty,empty)))),field(tasks,avl_set(node(fd(2,'TASK'),true,0,empty,empty)))]))]),[])))).
packed_visited_expression(56,const_and_vars(6,'$bind_var'(exeCore,'$avl_expanded'([('$fd_TASK1','$fd_CORE2'),('$fd_TASK2','$fd_CORE2'),('$fd_TASK3','$fd_CORE1')]),'$bind_var'(subTask,'$avl_expanded'([('$fd_CORE1',rec([field(idle,fd(3,'TASK')),field(log_context,avl_set(node((fd(2,'TASK'),fd(1,'CONTEXT')),true,0,node((fd(1,'TASK'),fd(1,'CONTEXT')),true,0,empty,empty),node((fd(3,'TASK'),fd(1,'CONTEXT')),true,0,empty,empty)))),field(phys_context,fd(1,'CONTEXT')),field(priority,avl_set(node((fd(2,'TASK'),int(0)),true,0,node((fd(1,'TASK'),int(4)),true,0,empty,empty),node((fd(3,'TASK'),int(0)),true,0,empty,empty)))),field(running_task,fd(3,'TASK')),field(state,avl_set(node((fd(2,'TASK'),fd(1,'STATE')),true,0,node((fd(1,'TASK'),fd(1,'STATE')),true,0,empty,empty),node((fd(3,'TASK'),fd(5,'STATE')),true,0,empty,empty)))),field(tasks,avl_set(node(fd(3,'TASK'),true,0,empty,empty)))])),('$fd_CORE2',rec([field(idle,fd(2,'TASK')),field(log_context,avl_set(node((fd(2,'TASK'),fd(1,'CONTEXT')),true,0,node((fd(1,'TASK'),fd(1,'CONTEXT')),true,0,empty,empty),node((fd(3,'TASK'),fd(1,'CONTEXT')),true,0,empty,empty)))),field(phys_context,fd(1,'CONTEXT')),field(priority,avl_set(node((fd(2,'TASK'),int(0)),true,0,node((fd(1,'TASK'),int(4)),true,0,empty,empty),node((fd(3,'TASK'),int(0)),true,0,empty,empty)))),field(running_task,fd(1,'TASK')),field(state,avl_set(node((fd(2,'TASK'),fd(2,'STATE')),true,0,node((fd(1,'TASK'),fd(5,'STATE')),true,0,empty,empty),node((fd(3,'TASK'),fd(1,'STATE')),true,0,empty,empty)))),field(tasks,avl_set(node(fd(1,'TASK'),true,1,empty,node(fd(2,'TASK'),true,0,empty,empty))))]))]),[])))).
packed_visited_expression(57,const_and_vars(6,'$bind_var'(exeCore,'$avl_expanded'([('$fd_TASK1','$fd_CORE2'),('$fd_TASK2','$fd_CORE2'),('$fd_TASK3','$fd_CORE1')]),'$bind_var'(subTask,'$avl_expanded'([('$fd_CORE1',rec([field(idle,fd(3,'TASK')),field(log_context,avl_set(node((fd(2,'TASK'),fd(1,'CONTEXT')),true,0,node((fd(1,'TASK'),fd(1,'CONTEXT')),true,0,empty,empty),node((fd(3,'TASK'),fd(1,'CONTEXT')),true,0,empty,empty)))),field(phys_context,fd(1,'CONTEXT')),field(priority,avl_set(node((fd(2,'TASK'),int(0)),true,0,node((fd(1,'TASK'),int(4)),true,0,empty,empty),node((fd(3,'TASK'),int(0)),true,0,empty,empty)))),field(running_task,fd(3,'TASK')),field(state,avl_set(node((fd(2,'TASK'),fd(1,'STATE')),true,0,node((fd(1,'TASK'),fd(1,'STATE')),true,0,empty,empty),node((fd(3,'TASK'),fd(5,'STATE')),true,0,empty,empty)))),field(tasks,avl_set(node(fd(3,'TASK'),true,0,empty,empty)))])),('$fd_CORE2',rec([field(idle,fd(2,'TASK')),field(log_context,avl_set(node((fd(2,'TASK'),fd(1,'CONTEXT')),true,0,node((fd(1,'TASK'),fd(1,'CONTEXT')),true,0,empty,empty),node((fd(3,'TASK'),fd(1,'CONTEXT')),true,0,empty,empty)))),field(phys_context,fd(1,'CONTEXT')),field(priority,avl_set(node((fd(2,'TASK'),int(0)),true,0,node((fd(1,'TASK'),int(0)),true,0,empty,empty),node((fd(3,'TASK'),int(0)),true,0,empty,empty)))),field(running_task,fd(2,'TASK')),field(state,avl_set(node((fd(2,'TASK'),fd(5,'STATE')),true,0,node((fd(1,'TASK'),fd(2,'STATE')),true,0,empty,empty),node((fd(3,'TASK'),fd(1,'STATE')),true,0,empty,empty)))),field(tasks,avl_set(node(fd(1,'TASK'),true,1,empty,node(fd(2,'TASK'),true,0,empty,empty))))]))]),[])))).
packed_visited_expression(58,const_and_vars(6,'$bind_var'(exeCore,'$avl_expanded'([('$fd_TASK1','$fd_CORE2'),('$fd_TASK2','$fd_CORE2'),('$fd_TASK3','$fd_CORE1')]),'$bind_var'(subTask,'$avl_expanded'([('$fd_CORE1',rec([field(idle,fd(3,'TASK')),field(log_context,avl_set(node((fd(2,'TASK'),fd(1,'CONTEXT')),true,0,node((fd(1,'TASK'),fd(1,'CONTEXT')),true,0,empty,empty),node((fd(3,'TASK'),fd(1,'CONTEXT')),true,0,empty,empty)))),field(phys_context,fd(1,'CONTEXT')),field(priority,avl_set(node((fd(2,'TASK'),int(0)),true,0,node((fd(1,'TASK'),int(4)),true,0,empty,empty),node((fd(3,'TASK'),int(0)),true,0,empty,empty)))),field(running_task,fd(3,'TASK')),field(state,avl_set(node((fd(2,'TASK'),fd(1,'STATE')),true,0,node((fd(1,'TASK'),fd(1,'STATE')),true,0,empty,empty),node((fd(3,'TASK'),fd(5,'STATE')),true,0,empty,empty)))),field(tasks,avl_set(node(fd(3,'TASK'),true,0,empty,empty)))])),('$fd_CORE2',rec([field(idle,fd(2,'TASK')),field(log_context,avl_set(node((fd(2,'TASK'),fd(1,'CONTEXT')),true,0,node((fd(1,'TASK'),fd(1,'CONTEXT')),true,0,empty,empty),node((fd(3,'TASK'),fd(1,'CONTEXT')),true,0,empty,empty)))),field(phys_context,fd(1,'CONTEXT')),field(priority,avl_set(node((fd(2,'TASK'),int(0)),true,0,node((fd(1,'TASK'),int(1)),true,0,empty,empty),node((fd(3,'TASK'),int(0)),true,0,empty,empty)))),field(running_task,fd(1,'TASK')),field(state,avl_set(node((fd(2,'TASK'),fd(2,'STATE')),true,0,node((fd(1,'TASK'),fd(5,'STATE')),true,0,empty,empty),node((fd(3,'TASK'),fd(1,'STATE')),true,0,empty,empty)))),field(tasks,avl_set(node(fd(1,'TASK'),true,1,empty,node(fd(2,'TASK'),true,0,empty,empty))))]))]),[])))).
packed_visited_expression(59,const_and_vars(6,'$bind_var'(exeCore,'$avl_expanded'([('$fd_TASK1','$fd_CORE2'),('$fd_TASK2','$fd_CORE2'),('$fd_TASK3','$fd_CORE1')]),'$bind_var'(subTask,'$avl_expanded'([('$fd_CORE1',rec([field(idle,fd(3,'TASK')),field(log_context,avl_set(node((fd(2,'TASK'),fd(1,'CONTEXT')),true,0,node((fd(1,'TASK'),fd(1,'CONTEXT')),true,0,empty,empty),node((fd(3,'TASK'),fd(1,'CONTEXT')),true,0,empty,empty)))),field(phys_context,fd(1,'CONTEXT')),field(priority,avl_set(node((fd(2,'TASK'),int(0)),true,0,node((fd(1,'TASK'),int(4)),true,0,empty,empty),node((fd(3,'TASK'),int(0)),true,0,empty,empty)))),field(running_task,fd(3,'TASK')),field(state,avl_set(node((fd(2,'TASK'),fd(1,'STATE')),true,0,node((fd(1,'TASK'),fd(1,'STATE')),true,0,empty,empty),node((fd(3,'TASK'),fd(5,'STATE')),true,0,empty,empty)))),field(tasks,avl_set(node(fd(3,'TASK'),true,0,empty,empty)))])),('$fd_CORE2',rec([field(idle,fd(2,'TASK')),field(log_context,avl_set(node((fd(2,'TASK'),fd(1,'CONTEXT')),true,0,node((fd(1,'TASK'),fd(1,'CONTEXT')),true,0,empty,empty),node((fd(3,'TASK'),fd(1,'CONTEXT')),true,0,empty,empty)))),field(phys_context,fd(1,'CONTEXT')),field(priority,avl_set(node((fd(2,'TASK'),int(0)),true,0,node((fd(1,'TASK'),int(2)),true,0,empty,empty),node((fd(3,'TASK'),int(0)),true,0,empty,empty)))),field(running_task,fd(1,'TASK')),field(state,avl_set(node((fd(2,'TASK'),fd(2,'STATE')),true,0,node((fd(1,'TASK'),fd(5,'STATE')),true,0,empty,empty),node((fd(3,'TASK'),fd(1,'STATE')),true,0,empty,empty)))),field(tasks,avl_set(node(fd(1,'TASK'),true,1,empty,node(fd(2,'TASK'),true,0,empty,empty))))]))]),[])))).
packed_visited_expression(60,const_and_vars(6,'$bind_var'(exeCore,'$avl_expanded'([('$fd_TASK2','$fd_CORE2'),('$fd_TASK3','$fd_CORE1')]),'$bind_var'(subTask,'$avl_expanded'([('$fd_CORE1',rec([field(idle,fd(3,'TASK')),field(log_context,avl_set(node((fd(2,'TASK'),fd(1,'CONTEXT')),true,0,node((fd(1,'TASK'),fd(1,'CONTEXT')),true,0,empty,empty),node((fd(3,'TASK'),fd(1,'CONTEXT')),true,0,empty,empty)))),field(phys_context,fd(1,'CONTEXT')),field(priority,avl_set(node((fd(2,'TASK'),int(0)),true,0,node((fd(1,'TASK'),int(0)),true,0,empty,empty),node((fd(3,'TASK'),int(0)),true,0,empty,empty)))),field(running_task,fd(3,'TASK')),field(state,avl_set(node((fd(2,'TASK'),fd(1,'STATE')),true,0,node((fd(1,'TASK'),fd(1,'STATE')),true,0,empty,empty),node((fd(3,'TASK'),fd(5,'STATE')),true,0,empty,empty)))),field(tasks,avl_set(node(fd(3,'TASK'),true,0,empty,empty)))])),('$fd_CORE2',rec([field(idle,fd(2,'TASK')),field(log_context,avl_set(node((fd(2,'TASK'),fd(1,'CONTEXT')),true,0,node((fd(1,'TASK'),fd(1,'CONTEXT')),true,0,empty,empty),node((fd(3,'TASK'),fd(1,'CONTEXT')),true,0,empty,empty)))),field(phys_context,fd(1,'CONTEXT')),field(priority,avl_set(node((fd(2,'TASK'),int(0)),true,0,node((fd(1,'TASK'),int(1)),true,0,empty,empty),node((fd(3,'TASK'),int(0)),true,0,empty,empty)))),field(running_task,fd(2,'TASK')),field(state,avl_set(node((fd(2,'TASK'),fd(5,'STATE')),true,0,node((fd(1,'TASK'),fd(1,'STATE')),true,0,empty,empty),node((fd(3,'TASK'),fd(1,'STATE')),true,0,empty,empty)))),field(tasks,avl_set(node(fd(2,'TASK'),true,0,empty,empty)))]))]),[])))).
packed_visited_expression(61,const_and_vars(6,'$bind_var'(exeCore,'$avl_expanded'([('$fd_TASK1','$fd_CORE1'),('$fd_TASK2','$fd_CORE2'),('$fd_TASK3','$fd_CORE1')]),'$bind_var'(subTask,'$avl_expanded'([('$fd_CORE1',rec([field(idle,fd(3,'TASK')),field(log_context,avl_set(node((fd(2,'TASK'),fd(1,'CONTEXT')),true,0,node((fd(1,'TASK'),fd(1,'CONTEXT')),true,0,empty,empty),node((fd(3,'TASK'),fd(1,'CONTEXT')),true,0,empty,empty)))),field(phys_context,fd(1,'CONTEXT')),field(priority,avl_set(node((fd(2,'TASK'),int(0)),true,0,node((fd(1,'TASK'),int(0)),true,0,empty,empty),node((fd(3,'TASK'),int(0)),true,0,empty,empty)))),field(running_task,fd(3,'TASK')),field(state,avl_set(node((fd(2,'TASK'),fd(1,'STATE')),true,0,node((fd(1,'TASK'),fd(4,'STATE')),true,0,empty,empty),node((fd(3,'TASK'),fd(5,'STATE')),true,0,empty,empty)))),field(tasks,avl_set(node(fd(1,'TASK'),true,1,empty,node(fd(3,'TASK'),true,0,empty,empty))))])),('$fd_CORE2',rec([field(idle,fd(2,'TASK')),field(log_context,avl_set(node((fd(2,'TASK'),fd(1,'CONTEXT')),true,0,node((fd(1,'TASK'),fd(1,'CONTEXT')),true,0,empty,empty),node((fd(3,'TASK'),fd(1,'CONTEXT')),true,0,empty,empty)))),field(phys_context,fd(1,'CONTEXT')),field(priority,avl_set(node((fd(2,'TASK'),int(0)),true,0,node((fd(1,'TASK'),int(1)),true,0,empty,empty),node((fd(3,'TASK'),int(0)),true,0,empty,empty)))),field(running_task,fd(2,'TASK')),field(state,avl_set(node((fd(2,'TASK'),fd(5,'STATE')),true,0,node((fd(1,'TASK'),fd(1,'STATE')),true,0,empty,empty),node((fd(3,'TASK'),fd(1,'STATE')),true,0,empty,empty)))),field(tasks,avl_set(node(fd(2,'TASK'),true,0,empty,empty)))]))]),[])))).
packed_visited_expression(62,const_and_vars(6,'$bind_var'(exeCore,'$avl_expanded'([('$fd_TASK2','$fd_CORE2'),('$fd_TASK3','$fd_CORE1')]),'$bind_var'(subTask,'$avl_expanded'([('$fd_CORE1',rec([field(idle,fd(3,'TASK')),field(log_context,avl_set(node((fd(2,'TASK'),fd(1,'CONTEXT')),true,0,node((fd(1,'TASK'),fd(1,'CONTEXT')),true,0,empty,empty),node((fd(3,'TASK'),fd(1,'CONTEXT')),true,0,empty,empty)))),field(phys_context,fd(1,'CONTEXT')),field(priority,avl_set(node((fd(2,'TASK'),int(0)),true,0,node((fd(1,'TASK'),int(2)),true,0,empty,empty),node((fd(3,'TASK'),int(0)),true,0,empty,empty)))),field(running_task,fd(3,'TASK')),field(state,avl_set(node((fd(2,'TASK'),fd(1,'STATE')),true,0,node((fd(1,'TASK'),fd(1,'STATE')),true,0,empty,empty),node((fd(3,'TASK'),fd(5,'STATE')),true,0,empty,empty)))),field(tasks,avl_set(node(fd(3,'TASK'),true,0,empty,empty)))])),('$fd_CORE2',rec([field(idle,fd(2,'TASK')),field(log_context,avl_set(node((fd(2,'TASK'),fd(1,'CONTEXT')),true,0,node((fd(1,'TASK'),fd(1,'CONTEXT')),true,0,empty,empty),node((fd(3,'TASK'),fd(1,'CONTEXT')),true,0,empty,empty)))),field(phys_context,fd(1,'CONTEXT')),field(priority,avl_set(node((fd(2,'TASK'),int(0)),true,0,node((fd(1,'TASK'),int(1)),true,0,empty,empty),node((fd(3,'TASK'),int(0)),true,0,empty,empty)))),field(running_task,fd(2,'TASK')),field(state,avl_set(node((fd(2,'TASK'),fd(5,'STATE')),true,0,node((fd(1,'TASK'),fd(1,'STATE')),true,0,empty,empty),node((fd(3,'TASK'),fd(1,'STATE')),true,0,empty,empty)))),field(tasks,avl_set(node(fd(2,'TASK'),true,0,empty,empty)))]))]),[])))).
packed_visited_expression(63,const_and_vars(6,'$bind_var'(exeCore,'$avl_expanded'([('$fd_TASK1','$fd_CORE1'),('$fd_TASK2','$fd_CORE2'),('$fd_TASK3','$fd_CORE1')]),'$bind_var'(subTask,'$avl_expanded'([('$fd_CORE1',rec([field(idle,fd(3,'TASK')),field(log_context,avl_set(node((fd(2,'TASK'),fd(1,'CONTEXT')),true,0,node((fd(1,'TASK'),fd(1,'CONTEXT')),true,0,empty,empty),node((fd(3,'TASK'),fd(1,'CONTEXT')),true,0,empty,empty)))),field(phys_context,fd(1,'CONTEXT')),field(priority,avl_set(node((fd(2,'TASK'),int(0)),true,0,node((fd(1,'TASK'),int(2)),true,0,empty,empty),node((fd(3,'TASK'),int(0)),true,0,empty,empty)))),field(running_task,fd(3,'TASK')),field(state,avl_set(node((fd(2,'TASK'),fd(1,'STATE')),true,0,node((fd(1,'TASK'),fd(4,'STATE')),true,0,empty,empty),node((fd(3,'TASK'),fd(5,'STATE')),true,0,empty,empty)))),field(tasks,avl_set(node(fd(1,'TASK'),true,1,empty,node(fd(3,'TASK'),true,0,empty,empty))))])),('$fd_CORE2',rec([field(idle,fd(2,'TASK')),field(log_context,avl_set(node((fd(2,'TASK'),fd(1,'CONTEXT')),true,0,node((fd(1,'TASK'),fd(1,'CONTEXT')),true,0,empty,empty),node((fd(3,'TASK'),fd(1,'CONTEXT')),true,0,empty,empty)))),field(phys_context,fd(1,'CONTEXT')),field(priority,avl_set(node((fd(2,'TASK'),int(0)),true,0,node((fd(1,'TASK'),int(1)),true,0,empty,empty),node((fd(3,'TASK'),int(0)),true,0,empty,empty)))),field(running_task,fd(2,'TASK')),field(state,avl_set(node((fd(2,'TASK'),fd(5,'STATE')),true,0,node((fd(1,'TASK'),fd(1,'STATE')),true,0,empty,empty),node((fd(3,'TASK'),fd(1,'STATE')),true,0,empty,empty)))),field(tasks,avl_set(node(fd(2,'TASK'),true,0,empty,empty)))]))]),[])))).
packed_visited_expression(64,const_and_vars(6,'$bind_var'(exeCore,'$avl_expanded'([('$fd_TASK1','$fd_CORE2'),('$fd_TASK2','$fd_CORE2'),('$fd_TASK3','$fd_CORE1')]),'$bind_var'(subTask,'$avl_expanded'([('$fd_CORE1',rec([field(idle,fd(3,'TASK')),field(log_context,avl_set(node((fd(2,'TASK'),fd(1,'CONTEXT')),true,0,node((fd(1,'TASK'),fd(1,'CONTEXT')),true,0,empty,empty),node((fd(3,'TASK'),fd(1,'CONTEXT')),true,0,empty,empty)))),field(phys_context,fd(1,'CONTEXT')),field(priority,avl_set(node((fd(2,'TASK'),int(0)),true,0,node((fd(1,'TASK'),int(2)),true,0,empty,empty),node((fd(3,'TASK'),int(0)),true,0,empty,empty)))),field(running_task,fd(3,'TASK')),field(state,avl_set(node((fd(2,'TASK'),fd(1,'STATE')),true,0,node((fd(1,'TASK'),fd(1,'STATE')),true,0,empty,empty),node((fd(3,'TASK'),fd(5,'STATE')),true,0,empty,empty)))),field(tasks,avl_set(node(fd(3,'TASK'),true,0,empty,empty)))])),('$fd_CORE2',rec([field(idle,fd(2,'TASK')),field(log_context,avl_set(node((fd(2,'TASK'),fd(1,'CONTEXT')),true,0,node((fd(1,'TASK'),fd(1,'CONTEXT')),true,0,empty,empty),node((fd(3,'TASK'),fd(1,'CONTEXT')),true,0,empty,empty)))),field(phys_context,fd(1,'CONTEXT')),field(priority,avl_set(node((fd(2,'TASK'),int(0)),true,0,node((fd(1,'TASK'),int(2)),true,0,empty,empty),node((fd(3,'TASK'),int(0)),true,0,empty,empty)))),field(running_task,fd(1,'TASK')),field(state,avl_set(node((fd(2,'TASK'),fd(2,'STATE')),true,0,node((fd(1,'TASK'),fd(5,'STATE')),true,0,empty,empty),node((fd(3,'TASK'),fd(1,'STATE')),true,0,empty,empty)))),field(tasks,avl_set(node(fd(1,'TASK'),true,1,empty,node(fd(2,'TASK'),true,0,empty,empty))))]))]),[])))).
packed_visited_expression(65,const_and_vars(6,'$bind_var'(exeCore,'$avl_expanded'([('$fd_TASK1','$fd_CORE2'),('$fd_TASK2','$fd_CORE2'),('$fd_TASK3','$fd_CORE1')]),'$bind_var'(subTask,'$avl_expanded'([('$fd_CORE1',rec([field(idle,fd(3,'TASK')),field(log_context,avl_set(node((fd(2,'TASK'),fd(1,'CONTEXT')),true,0,node((fd(1,'TASK'),fd(1,'CONTEXT')),true,0,empty,empty),node((fd(3,'TASK'),fd(1,'CONTEXT')),true,0,empty,empty)))),field(phys_context,fd(1,'CONTEXT')),field(priority,avl_set(node((fd(2,'TASK'),int(0)),true,0,node((fd(1,'TASK'),int(0)),true,0,empty,empty),node((fd(3,'TASK'),int(0)),true,0,empty,empty)))),field(running_task,fd(3,'TASK')),field(state,avl_set(node((fd(2,'TASK'),fd(1,'STATE')),true,0,node((fd(1,'TASK'),fd(1,'STATE')),true,0,empty,empty),node((fd(3,'TASK'),fd(5,'STATE')),true,0,empty,empty)))),field(tasks,avl_set(node(fd(3,'TASK'),true,0,empty,empty)))])),('$fd_CORE2',rec([field(idle,fd(2,'TASK')),field(log_context,avl_set(node((fd(2,'TASK'),fd(1,'CONTEXT')),true,0,node((fd(1,'TASK'),fd(1,'CONTEXT')),true,0,empty,empty),node((fd(3,'TASK'),fd(1,'CONTEXT')),true,0,empty,empty)))),field(phys_context,fd(1,'CONTEXT')),field(priority,avl_set(node((fd(2,'TASK'),int(0)),true,0,node((fd(1,'TASK'),int(0)),true,0,empty,empty),node((fd(3,'TASK'),int(0)),true,0,empty,empty)))),field(running_task,fd(2,'TASK')),field(state,avl_set(node((fd(2,'TASK'),fd(5,'STATE')),true,0,node((fd(1,'TASK'),fd(4,'STATE')),true,0,empty,empty),node((fd(3,'TASK'),fd(1,'STATE')),true,0,empty,empty)))),field(tasks,avl_set(node(fd(1,'TASK'),true,1,empty,node(fd(2,'TASK'),true,0,empty,empty))))]))]),[])))).
packed_visited_expression(66,const_and_vars(6,'$bind_var'(exeCore,'$avl_expanded'([('$fd_TASK1','$fd_CORE2'),('$fd_TASK2','$fd_CORE2'),('$fd_TASK3','$fd_CORE1')]),'$bind_var'(subTask,'$avl_expanded'([('$fd_CORE1',rec([field(idle,fd(3,'TASK')),field(log_context,avl_set(node((fd(2,'TASK'),fd(1,'CONTEXT')),true,0,node((fd(1,'TASK'),fd(1,'CONTEXT')),true,0,empty,empty),node((fd(3,'TASK'),fd(1,'CONTEXT')),true,0,empty,empty)))),field(phys_context,fd(1,'CONTEXT')),field(priority,avl_set(node((fd(2,'TASK'),int(0)),true,0,node((fd(1,'TASK'),int(0)),true,0,empty,empty),node((fd(3,'TASK'),int(0)),true,0,empty,empty)))),field(running_task,fd(3,'TASK')),field(state,avl_set(node((fd(2,'TASK'),fd(1,'STATE')),true,0,node((fd(1,'TASK'),fd(1,'STATE')),true,0,empty,empty),node((fd(3,'TASK'),fd(5,'STATE')),true,0,empty,empty)))),field(tasks,avl_set(node(fd(3,'TASK'),true,0,empty,empty)))])),('$fd_CORE2',rec([field(idle,fd(2,'TASK')),field(log_context,avl_set(node((fd(2,'TASK'),fd(1,'CONTEXT')),true,0,node((fd(1,'TASK'),fd(1,'CONTEXT')),true,0,empty,empty),node((fd(3,'TASK'),fd(1,'CONTEXT')),true,0,empty,empty)))),field(phys_context,fd(1,'CONTEXT')),field(priority,avl_set(node((fd(2,'TASK'),int(0)),true,0,node((fd(1,'TASK'),int(3)),true,0,empty,empty),node((fd(3,'TASK'),int(0)),true,0,empty,empty)))),field(running_task,fd(1,'TASK')),field(state,avl_set(node((fd(2,'TASK'),fd(2,'STATE')),true,0,node((fd(1,'TASK'),fd(5,'STATE')),true,0,empty,empty),node((fd(3,'TASK'),fd(1,'STATE')),true,0,empty,empty)))),field(tasks,avl_set(node(fd(1,'TASK'),true,1,empty,node(fd(2,'TASK'),true,0,empty,empty))))]))]),[])))).
packed_visited_expression(67,const_and_vars(6,'$bind_var'(exeCore,'$avl_expanded'([('$fd_TASK1','$fd_CORE2'),('$fd_TASK2','$fd_CORE2'),('$fd_TASK3','$fd_CORE1')]),'$bind_var'(subTask,'$avl_expanded'([('$fd_CORE1',rec([field(idle,fd(3,'TASK')),field(log_context,avl_set(node((fd(2,'TASK'),fd(1,'CONTEXT')),true,0,node((fd(1,'TASK'),fd(1,'CONTEXT')),true,0,empty,empty),node((fd(3,'TASK'),fd(1,'CONTEXT')),true,0,empty,empty)))),field(phys_context,fd(1,'CONTEXT')),field(priority,avl_set(node((fd(2,'TASK'),int(0)),true,0,node((fd(1,'TASK'),int(0)),true,0,empty,empty),node((fd(3,'TASK'),int(0)),true,0,empty,empty)))),field(running_task,fd(3,'TASK')),field(state,avl_set(node((fd(2,'TASK'),fd(1,'STATE')),true,0,node((fd(1,'TASK'),fd(1,'STATE')),true,0,empty,empty),node((fd(3,'TASK'),fd(5,'STATE')),true,0,empty,empty)))),field(tasks,avl_set(node(fd(3,'TASK'),true,0,empty,empty)))])),('$fd_CORE2',rec([field(idle,fd(2,'TASK')),field(log_context,avl_set(node((fd(2,'TASK'),fd(1,'CONTEXT')),true,0,node((fd(1,'TASK'),fd(1,'CONTEXT')),true,0,empty,empty),node((fd(3,'TASK'),fd(1,'CONTEXT')),true,0,empty,empty)))),field(phys_context,fd(1,'CONTEXT')),field(priority,avl_set(node((fd(2,'TASK'),int(0)),true,0,node((fd(1,'TASK'),int(4)),true,0,empty,empty),node((fd(3,'TASK'),int(0)),true,0,empty,empty)))),field(running_task,fd(1,'TASK')),field(state,avl_set(node((fd(2,'TASK'),fd(2,'STATE')),true,0,node((fd(1,'TASK'),fd(5,'STATE')),true,0,empty,empty),node((fd(3,'TASK'),fd(1,'STATE')),true,0,empty,empty)))),field(tasks,avl_set(node(fd(1,'TASK'),true,1,empty,node(fd(2,'TASK'),true,0,empty,empty))))]))]),[])))).
packed_visited_expression(68,const_and_vars(6,'$bind_var'(exeCore,'$avl_expanded'([('$fd_TASK1','$fd_CORE2'),('$fd_TASK2','$fd_CORE2'),('$fd_TASK3','$fd_CORE1')]),'$bind_var'(subTask,'$avl_expanded'([('$fd_CORE1',rec([field(idle,fd(3,'TASK')),field(log_context,avl_set(node((fd(2,'TASK'),fd(1,'CONTEXT')),true,0,node((fd(1,'TASK'),fd(1,'CONTEXT')),true,0,empty,empty),node((fd(3,'TASK'),fd(1,'CONTEXT')),true,0,empty,empty)))),field(phys_context,fd(1,'CONTEXT')),field(priority,avl_set(node((fd(2,'TASK'),int(0)),true,0,node((fd(1,'TASK'),int(0)),true,0,empty,empty),node((fd(3,'TASK'),int(0)),true,0,empty,empty)))),field(running_task,fd(3,'TASK')),field(state,avl_set(node((fd(2,'TASK'),fd(1,'STATE')),true,0,node((fd(1,'TASK'),fd(1,'STATE')),true,0,empty,empty),node((fd(3,'TASK'),fd(5,'STATE')),true,0,empty,empty)))),field(tasks,avl_set(node(fd(3,'TASK'),true,0,empty,empty)))])),('$fd_CORE2',rec([field(idle,fd(2,'TASK')),field(log_context,avl_set(node((fd(2,'TASK'),fd(1,'CONTEXT')),true,0,node((fd(1,'TASK'),fd(1,'CONTEXT')),true,0,empty,empty),node((fd(3,'TASK'),fd(1,'CONTEXT')),true,0,empty,empty)))),field(phys_context,fd(1,'CONTEXT')),field(priority,avl_set(node((fd(2,'TASK'),int(0)),true,0,node((fd(1,'TASK'),int(1)),true,0,empty,empty),node((fd(3,'TASK'),int(0)),true,0,empty,empty)))),field(running_task,fd(2,'TASK')),field(state,avl_set(node((fd(2,'TASK'),fd(5,'STATE')),true,0,node((fd(1,'TASK'),fd(4,'STATE')),true,0,empty,empty),node((fd(3,'TASK'),fd(1,'STATE')),true,0,empty,empty)))),field(tasks,avl_set(node(fd(1,'TASK'),true,1,empty,node(fd(2,'TASK'),true,0,empty,empty))))]))]),[])))).
packed_visited_expression(69,const_and_vars(6,'$bind_var'(exeCore,'$avl_expanded'([('$fd_TASK1','$fd_CORE2'),('$fd_TASK2','$fd_CORE2'),('$fd_TASK3','$fd_CORE1')]),'$bind_var'(subTask,'$avl_expanded'([('$fd_CORE1',rec([field(idle,fd(3,'TASK')),field(log_context,avl_set(node((fd(2,'TASK'),fd(1,'CONTEXT')),true,0,node((fd(1,'TASK'),fd(1,'CONTEXT')),true,0,empty,empty),node((fd(3,'TASK'),fd(1,'CONTEXT')),true,0,empty,empty)))),field(phys_context,fd(1,'CONTEXT')),field(priority,avl_set(node((fd(2,'TASK'),int(0)),true,0,node((fd(1,'TASK'),int(0)),true,0,empty,empty),node((fd(3,'TASK'),int(0)),true,0,empty,empty)))),field(running_task,fd(3,'TASK')),field(state,avl_set(node((fd(2,'TASK'),fd(1,'STATE')),true,0,node((fd(1,'TASK'),fd(1,'STATE')),true,0,empty,empty),node((fd(3,'TASK'),fd(5,'STATE')),true,0,empty,empty)))),field(tasks,avl_set(node(fd(3,'TASK'),true,0,empty,empty)))])),('$fd_CORE2',rec([field(idle,fd(2,'TASK')),field(log_context,avl_set(node((fd(2,'TASK'),fd(1,'CONTEXT')),true,0,node((fd(1,'TASK'),fd(1,'CONTEXT')),true,0,empty,empty),node((fd(3,'TASK'),fd(1,'CONTEXT')),true,0,empty,empty)))),field(phys_context,fd(1,'CONTEXT')),field(priority,avl_set(node((fd(2,'TASK'),int(0)),true,0,node((fd(1,'TASK'),int(0)),true,0,empty,empty),node((fd(3,'TASK'),int(0)),true,0,empty,empty)))),field(running_task,fd(1,'TASK')),field(state,avl_set(node((fd(2,'TASK'),fd(2,'STATE')),true,0,node((fd(1,'TASK'),fd(5,'STATE')),true,0,empty,empty),node((fd(3,'TASK'),fd(1,'STATE')),true,0,empty,empty)))),field(tasks,avl_set(node(fd(1,'TASK'),true,1,empty,node(fd(2,'TASK'),true,0,empty,empty))))]))]),[])))).
packed_visited_expression(70,const_and_vars(6,'$bind_var'(exeCore,'$avl_expanded'([('$fd_TASK2','$fd_CORE2'),('$fd_TASK3','$fd_CORE1')]),'$bind_var'(subTask,'$avl_expanded'([('$fd_CORE1',rec([field(idle,fd(3,'TASK')),field(log_context,avl_set(node((fd(2,'TASK'),fd(1,'CONTEXT')),true,0,node((fd(1,'TASK'),fd(1,'CONTEXT')),true,0,empty,empty),node((fd(3,'TASK'),fd(1,'CONTEXT')),true,0,empty,empty)))),field(phys_context,fd(1,'CONTEXT')),field(priority,avl_set(node((fd(2,'TASK'),int(0)),true,0,node((fd(1,'TASK'),int(0)),true,0,empty,empty),node((fd(3,'TASK'),int(0)),true,0,empty,empty)))),field(running_task,fd(3,'TASK')),field(state,avl_set(node((fd(2,'TASK'),fd(1,'STATE')),true,0,node((fd(1,'TASK'),fd(1,'STATE')),true,0,empty,empty),node((fd(3,'TASK'),fd(5,'STATE')),true,0,empty,empty)))),field(tasks,avl_set(node(fd(3,'TASK'),true,0,empty,empty)))])),('$fd_CORE2',rec([field(idle,fd(2,'TASK')),field(log_context,avl_set(node((fd(2,'TASK'),fd(1,'CONTEXT')),true,0,node((fd(1,'TASK'),fd(1,'CONTEXT')),true,0,empty,empty),node((fd(3,'TASK'),fd(1,'CONTEXT')),true,0,empty,empty)))),field(phys_context,fd(1,'CONTEXT')),field(priority,avl_set(node((fd(2,'TASK'),int(0)),true,0,node((fd(1,'TASK'),int(2)),true,0,empty,empty),node((fd(3,'TASK'),int(0)),true,0,empty,empty)))),field(running_task,fd(2,'TASK')),field(state,avl_set(node((fd(2,'TASK'),fd(5,'STATE')),true,0,node((fd(1,'TASK'),fd(1,'STATE')),true,0,empty,empty),node((fd(3,'TASK'),fd(1,'STATE')),true,0,empty,empty)))),field(tasks,avl_set(node(fd(2,'TASK'),true,0,empty,empty)))]))]),[])))).
packed_visited_expression(71,const_and_vars(6,'$bind_var'(exeCore,'$avl_expanded'([('$fd_TASK1','$fd_CORE2'),('$fd_TASK2','$fd_CORE2'),('$fd_TASK3','$fd_CORE1')]),'$bind_var'(subTask,'$avl_expanded'([('$fd_CORE1',rec([field(idle,fd(3,'TASK')),field(log_context,avl_set(node((fd(2,'TASK'),fd(1,'CONTEXT')),true,0,node((fd(1,'TASK'),fd(1,'CONTEXT')),true,0,empty,empty),node((fd(3,'TASK'),fd(1,'CONTEXT')),true,0,empty,empty)))),field(phys_context,fd(1,'CONTEXT')),field(priority,avl_set(node((fd(2,'TASK'),int(0)),true,0,node((fd(1,'TASK'),int(0)),true,0,empty,empty),node((fd(3,'TASK'),int(0)),true,0,empty,empty)))),field(running_task,fd(3,'TASK')),field(state,avl_set(node((fd(2,'TASK'),fd(1,'STATE')),true,0,node((fd(1,'TASK'),fd(1,'STATE')),true,0,empty,empty),node((fd(3,'TASK'),fd(5,'STATE')),true,0,empty,empty)))),field(tasks,avl_set(node(fd(3,'TASK'),true,0,empty,empty)))])),('$fd_CORE2',rec([field(idle,fd(2,'TASK')),field(log_context,avl_set(node((fd(2,'TASK'),fd(1,'CONTEXT')),true,0,node((fd(1,'TASK'),fd(1,'CONTEXT')),true,0,empty,empty),node((fd(3,'TASK'),fd(1,'CONTEXT')),true,0,empty,empty)))),field(phys_context,fd(1,'CONTEXT')),field(priority,avl_set(node((fd(2,'TASK'),int(0)),true,0,node((fd(1,'TASK'),int(2)),true,0,empty,empty),node((fd(3,'TASK'),int(0)),true,0,empty,empty)))),field(running_task,fd(2,'TASK')),field(state,avl_set(node((fd(2,'TASK'),fd(5,'STATE')),true,0,node((fd(1,'TASK'),fd(4,'STATE')),true,0,empty,empty),node((fd(3,'TASK'),fd(1,'STATE')),true,0,empty,empty)))),field(tasks,avl_set(node(fd(1,'TASK'),true,1,empty,node(fd(2,'TASK'),true,0,empty,empty))))]))]),[])))).
packed_visited_expression(72,const_and_vars(6,'$bind_var'(exeCore,'$avl_expanded'([('$fd_TASK1','$fd_CORE1'),('$fd_TASK2','$fd_CORE2'),('$fd_TASK3','$fd_CORE1')]),'$bind_var'(subTask,'$avl_expanded'([('$fd_CORE1',rec([field(idle,fd(3,'TASK')),field(log_context,avl_set(node((fd(2,'TASK'),fd(1,'CONTEXT')),true,0,node((fd(1,'TASK'),fd(1,'CONTEXT')),true,0,empty,empty),node((fd(3,'TASK'),fd(1,'CONTEXT')),true,0,empty,empty)))),field(phys_context,fd(1,'CONTEXT')),field(priority,avl_set(node((fd(2,'TASK'),int(0)),true,0,node((fd(1,'TASK'),int(2)),true,0,empty,empty),node((fd(3,'TASK'),int(0)),true,0,empty,empty)))),field(running_task,fd(1,'TASK')),field(state,avl_set(node((fd(2,'TASK'),fd(1,'STATE')),true,0,node((fd(1,'TASK'),fd(5,'STATE')),true,0,empty,empty),node((fd(3,'TASK'),fd(2,'STATE')),true,0,empty,empty)))),field(tasks,avl_set(node(fd(1,'TASK'),true,1,empty,node(fd(3,'TASK'),true,0,empty,empty))))])),('$fd_CORE2',rec([field(idle,fd(2,'TASK')),field(log_context,avl_set(node((fd(2,'TASK'),fd(1,'CONTEXT')),true,0,node((fd(1,'TASK'),fd(1,'CONTEXT')),true,0,empty,empty),node((fd(3,'TASK'),fd(1,'CONTEXT')),true,0,empty,empty)))),field(phys_context,fd(1,'CONTEXT')),field(priority,avl_set(node((fd(2,'TASK'),int(0)),true,0,node((fd(1,'TASK'),int(2)),true,0,empty,empty),node((fd(3,'TASK'),int(0)),true,0,empty,empty)))),field(running_task,fd(2,'TASK')),field(state,avl_set(node((fd(2,'TASK'),fd(5,'STATE')),true,0,node((fd(1,'TASK'),fd(1,'STATE')),true,0,empty,empty),node((fd(3,'TASK'),fd(1,'STATE')),true,0,empty,empty)))),field(tasks,avl_set(node(fd(2,'TASK'),true,0,empty,empty)))]))]),[])))).
packed_visited_expression(73,const_and_vars(6,'$bind_var'(exeCore,'$avl_expanded'([('$fd_TASK2','$fd_CORE2'),('$fd_TASK3','$fd_CORE1')]),'$bind_var'(subTask,'$avl_expanded'([('$fd_CORE1',rec([field(idle,fd(3,'TASK')),field(log_context,avl_set(node((fd(2,'TASK'),fd(1,'CONTEXT')),true,0,node((fd(1,'TASK'),fd(1,'CONTEXT')),true,0,empty,empty),node((fd(3,'TASK'),fd(1,'CONTEXT')),true,0,empty,empty)))),field(phys_context,fd(1,'CONTEXT')),field(priority,avl_set(node((fd(2,'TASK'),int(0)),true,0,node((fd(1,'TASK'),int(0)),true,0,empty,empty),node((fd(3,'TASK'),int(0)),true,0,empty,empty)))),field(running_task,fd(3,'TASK')),field(state,avl_set(node((fd(2,'TASK'),fd(1,'STATE')),true,0,node((fd(1,'TASK'),fd(1,'STATE')),true,0,empty,empty),node((fd(3,'TASK'),fd(5,'STATE')),true,0,empty,empty)))),field(tasks,avl_set(node(fd(3,'TASK'),true,0,empty,empty)))])),('$fd_CORE2',rec([field(idle,fd(2,'TASK')),field(log_context,avl_set(node((fd(2,'TASK'),fd(1,'CONTEXT')),true,0,node((fd(1,'TASK'),fd(1,'CONTEXT')),true,0,empty,empty),node((fd(3,'TASK'),fd(1,'CONTEXT')),true,0,empty,empty)))),field(phys_context,fd(1,'CONTEXT')),field(priority,avl_set(node((fd(2,'TASK'),int(0)),true,0,node((fd(1,'TASK'),int(4)),true,0,empty,empty),node((fd(3,'TASK'),int(0)),true,0,empty,empty)))),field(running_task,fd(2,'TASK')),field(state,avl_set(node((fd(2,'TASK'),fd(5,'STATE')),true,0,node((fd(1,'TASK'),fd(1,'STATE')),true,0,empty,empty),node((fd(3,'TASK'),fd(1,'STATE')),true,0,empty,empty)))),field(tasks,avl_set(node(fd(2,'TASK'),true,0,empty,empty)))]))]),[])))).
packed_visited_expression(74,const_and_vars(6,'$bind_var'(exeCore,'$avl_expanded'([('$fd_TASK1','$fd_CORE2'),('$fd_TASK2','$fd_CORE2'),('$fd_TASK3','$fd_CORE1')]),'$bind_var'(subTask,'$avl_expanded'([('$fd_CORE1',rec([field(idle,fd(3,'TASK')),field(log_context,avl_set(node((fd(2,'TASK'),fd(1,'CONTEXT')),true,0,node((fd(1,'TASK'),fd(1,'CONTEXT')),true,0,empty,empty),node((fd(3,'TASK'),fd(1,'CONTEXT')),true,0,empty,empty)))),field(phys_context,fd(1,'CONTEXT')),field(priority,avl_set(node((fd(2,'TASK'),int(0)),true,0,node((fd(1,'TASK'),int(0)),true,0,empty,empty),node((fd(3,'TASK'),int(0)),true,0,empty,empty)))),field(running_task,fd(3,'TASK')),field(state,avl_set(node((fd(2,'TASK'),fd(1,'STATE')),true,0,node((fd(1,'TASK'),fd(1,'STATE')),true,0,empty,empty),node((fd(3,'TASK'),fd(5,'STATE')),true,0,empty,empty)))),field(tasks,avl_set(node(fd(3,'TASK'),true,0,empty,empty)))])),('$fd_CORE2',rec([field(idle,fd(2,'TASK')),field(log_context,avl_set(node((fd(2,'TASK'),fd(1,'CONTEXT')),true,0,node((fd(1,'TASK'),fd(1,'CONTEXT')),true,0,empty,empty),node((fd(3,'TASK'),fd(1,'CONTEXT')),true,0,empty,empty)))),field(phys_context,fd(1,'CONTEXT')),field(priority,avl_set(node((fd(2,'TASK'),int(0)),true,0,node((fd(1,'TASK'),int(4)),true,0,empty,empty),node((fd(3,'TASK'),int(0)),true,0,empty,empty)))),field(running_task,fd(2,'TASK')),field(state,avl_set(node((fd(2,'TASK'),fd(5,'STATE')),true,0,node((fd(1,'TASK'),fd(4,'STATE')),true,0,empty,empty),node((fd(3,'TASK'),fd(1,'STATE')),true,0,empty,empty)))),field(tasks,avl_set(node(fd(1,'TASK'),true,1,empty,node(fd(2,'TASK'),true,0,empty,empty))))]))]),[])))).
packed_visited_expression(75,const_and_vars(6,'$bind_var'(exeCore,'$avl_expanded'([('$fd_TASK2','$fd_CORE2'),('$fd_TASK3','$fd_CORE1')]),'$bind_var'(subTask,'$avl_expanded'([('$fd_CORE1',rec([field(idle,fd(3,'TASK')),field(log_context,avl_set(node((fd(2,'TASK'),fd(1,'CONTEXT')),true,0,node((fd(1,'TASK'),fd(1,'CONTEXT')),true,0,empty,empty),node((fd(3,'TASK'),fd(1,'CONTEXT')),true,0,empty,empty)))),field(phys_context,fd(1,'CONTEXT')),field(priority,avl_set(node((fd(2,'TASK'),int(0)),true,0,node((fd(1,'TASK'),int(0)),true,0,empty,empty),node((fd(3,'TASK'),int(0)),true,0,empty,empty)))),field(running_task,fd(3,'TASK')),field(state,avl_set(node((fd(2,'TASK'),fd(1,'STATE')),true,0,node((fd(1,'TASK'),fd(1,'STATE')),true,0,empty,empty),node((fd(3,'TASK'),fd(5,'STATE')),true,0,empty,empty)))),field(tasks,avl_set(node(fd(3,'TASK'),true,0,empty,empty)))])),('$fd_CORE2',rec([field(idle,fd(2,'TASK')),field(log_context,avl_set(node((fd(2,'TASK'),fd(1,'CONTEXT')),true,0,node((fd(1,'TASK'),fd(1,'CONTEXT')),true,0,empty,empty),node((fd(3,'TASK'),fd(1,'CONTEXT')),true,0,empty,empty)))),field(phys_context,fd(1,'CONTEXT')),field(priority,avl_set(node((fd(2,'TASK'),int(0)),true,0,node((fd(1,'TASK'),int(3)),true,0,empty,empty),node((fd(3,'TASK'),int(0)),true,0,empty,empty)))),field(running_task,fd(2,'TASK')),field(state,avl_set(node((fd(2,'TASK'),fd(5,'STATE')),true,0,node((fd(1,'TASK'),fd(1,'STATE')),true,0,empty,empty),node((fd(3,'TASK'),fd(1,'STATE')),true,0,empty,empty)))),field(tasks,avl_set(node(fd(2,'TASK'),true,0,empty,empty)))]))]),[])))).
packed_visited_expression(76,const_and_vars(6,'$bind_var'(exeCore,'$avl_expanded'([('$fd_TASK1','$fd_CORE2'),('$fd_TASK2','$fd_CORE2'),('$fd_TASK3','$fd_CORE1')]),'$bind_var'(subTask,'$avl_expanded'([('$fd_CORE1',rec([field(idle,fd(3,'TASK')),field(log_context,avl_set(node((fd(2,'TASK'),fd(1,'CONTEXT')),true,0,node((fd(1,'TASK'),fd(1,'CONTEXT')),true,0,empty,empty),node((fd(3,'TASK'),fd(1,'CONTEXT')),true,0,empty,empty)))),field(phys_context,fd(1,'CONTEXT')),field(priority,avl_set(node((fd(2,'TASK'),int(0)),true,0,node((fd(1,'TASK'),int(0)),true,0,empty,empty),node((fd(3,'TASK'),int(0)),true,0,empty,empty)))),field(running_task,fd(3,'TASK')),field(state,avl_set(node((fd(2,'TASK'),fd(1,'STATE')),true,0,node((fd(1,'TASK'),fd(1,'STATE')),true,0,empty,empty),node((fd(3,'TASK'),fd(5,'STATE')),true,0,empty,empty)))),field(tasks,avl_set(node(fd(3,'TASK'),true,0,empty,empty)))])),('$fd_CORE2',rec([field(idle,fd(2,'TASK')),field(log_context,avl_set(node((fd(2,'TASK'),fd(1,'CONTEXT')),true,0,node((fd(1,'TASK'),fd(1,'CONTEXT')),true,0,empty,empty),node((fd(3,'TASK'),fd(1,'CONTEXT')),true,0,empty,empty)))),field(phys_context,fd(1,'CONTEXT')),field(priority,avl_set(node((fd(2,'TASK'),int(0)),true,0,node((fd(1,'TASK'),int(3)),true,0,empty,empty),node((fd(3,'TASK'),int(0)),true,0,empty,empty)))),field(running_task,fd(2,'TASK')),field(state,avl_set(node((fd(2,'TASK'),fd(5,'STATE')),true,0,node((fd(1,'TASK'),fd(4,'STATE')),true,0,empty,empty),node((fd(3,'TASK'),fd(1,'STATE')),true,0,empty,empty)))),field(tasks,avl_set(node(fd(1,'TASK'),true,1,empty,node(fd(2,'TASK'),true,0,empty,empty))))]))]),[])))).


:- dynamic not_invariant_checked/1.
not_invariant_checked(_4139) :- fail.


:- dynamic not_interesting/1.
not_interesting(_4266) :- fail.


:- dynamic max_reached_for_node/1.
max_reached_for_node(root).
max_reached_for_node(11).
max_reached_for_node(27).
max_reached_for_node(46).
max_reached_for_node(54).
max_reached_for_node(75).


:- dynamic time_out_for_node/2.
time_out_for_node(_4405,_4406) :- fail.


:- dynamic use_no_timeout/1.
use_no_timeout(_4535) :- fail.


:- dynamic transition/4.
transition(root,'$setup_constants'([],[]),0,0).
transition(root,'$setup_constants'(avl_set(node(fd(1,'CORE'),true,0,empty,empty)),avl_set(node(fd(1,'TASK'),true,0,empty,empty))),1,1).
transition(root,'$setup_constants'(avl_set(node(fd(1,'CORE'),true,0,empty,empty)),avl_set(node(fd(2,'TASK'),true,0,empty,empty))),2,2).
transition(root,'$setup_constants'(avl_set(node(fd(1,'CORE'),true,0,empty,empty)),avl_set(node(fd(3,'TASK'),true,0,empty,empty))),3,3).
transition(root,'$setup_constants'(avl_set(node(fd(1,'CORE'),true,1,empty,node(fd(2,'CORE'),true,0,empty,empty))),avl_set(node(fd(1,'TASK'),true,1,empty,node(fd(2,'TASK'),true,0,empty,empty)))),4,4).
transition(root,'$setup_constants'(avl_set(node(fd(1,'CORE'),true,1,empty,node(fd(2,'CORE'),true,0,empty,empty))),avl_set(node(fd(1,'TASK'),true,1,empty,node(fd(3,'TASK'),true,0,empty,empty)))),5,5).
transition(root,'$setup_constants'(avl_set(node(fd(1,'CORE'),true,1,empty,node(fd(2,'CORE'),true,0,empty,empty))),avl_set(node(fd(2,'TASK'),true,1,empty,node(fd(3,'TASK'),true,0,empty,empty)))),6,6).
transition(root,'$setup_constants'(avl_set(node(fd(2,'CORE'),true,0,node(fd(1,'CORE'),true,0,empty,empty),node(fd(3,'CORE'),true,0,empty,empty))),avl_set(node(fd(2,'TASK'),true,0,node(fd(1,'TASK'),true,0,empty,empty),node(fd(3,'TASK'),true,0,empty,empty)))),7,7).
transition(root,'$setup_constants'(avl_set(node(fd(1,'CORE'),true,1,empty,node(fd(3,'CORE'),true,0,empty,empty))),avl_set(node(fd(1,'TASK'),true,1,empty,node(fd(2,'TASK'),true,0,empty,empty)))),8,8).
transition(root,'$setup_constants'(avl_set(node(fd(1,'CORE'),true,1,empty,node(fd(3,'CORE'),true,0,empty,empty))),avl_set(node(fd(1,'TASK'),true,1,empty,node(fd(3,'TASK'),true,0,empty,empty)))),9,9).
transition(6,'$initialise_machine'(avl_set(node((fd(2,'TASK'),fd(1,'CORE')),true,1,empty,node((fd(3,'TASK'),fd(2,'CORE')),true,0,empty,empty))),avl_set(node((fd(1,'CORE'),rec([field(idle,fd(2,'TASK')),field(log_context,avl_set(node((fd(2,'TASK'),fd(1,'CONTEXT')),true,0,node((fd(1,'TASK'),fd(1,'CONTEXT')),true,0,empty,empty),node((fd(3,'TASK'),fd(1,'CONTEXT')),true,0,empty,empty)))),field(phys_context,fd(1,'CONTEXT')),field(priority,avl_set(node((fd(2,'TASK'),int(0)),true,0,node((fd(1,'TASK'),int(0)),true,0,empty,empty),node((fd(3,'TASK'),int(0)),true,0,empty,empty)))),field(running_task,fd(2,'TASK')),field(state,avl_set(node((fd(2,'TASK'),fd(5,'STATE')),true,0,node((fd(1,'TASK'),fd(1,'STATE')),true,0,empty,empty),node((fd(3,'TASK'),fd(1,'STATE')),true,0,empty,empty)))),field(tasks,avl_set(node(fd(2,'TASK'),true,0,empty,empty)))])),true,1,empty,node((fd(2,'CORE'),rec([field(idle,fd(3,'TASK')),field(log_context,avl_set(node((fd(2,'TASK'),fd(1,'CONTEXT')),true,0,node((fd(1,'TASK'),fd(1,'CONTEXT')),true,0,empty,empty),node((fd(3,'TASK'),fd(1,'CONTEXT')),true,0,empty,empty)))),field(phys_context,fd(1,'CONTEXT')),field(priority,avl_set(node((fd(2,'TASK'),int(0)),true,0,node((fd(1,'TASK'),int(0)),true,0,empty,empty),node((fd(3,'TASK'),int(0)),true,0,empty,empty)))),field(running_task,fd(3,'TASK')),field(state,avl_set(node((fd(2,'TASK'),fd(1,'STATE')),true,0,node((fd(1,'TASK'),fd(1,'STATE')),true,0,empty,empty),node((fd(3,'TASK'),fd(5,'STATE')),true,0,empty,empty)))),field(tasks,avl_set(node(fd(3,'TASK'),true,0,empty,empty)))])),true,0,empty,empty)))),10,10).
transition(6,'$initialise_machine'(avl_set(node((fd(2,'TASK'),fd(2,'CORE')),true,1,empty,node((fd(3,'TASK'),fd(1,'CORE')),true,0,empty,empty))),avl_set(node((fd(1,'CORE'),rec([field(idle,fd(3,'TASK')),field(log_context,avl_set(node((fd(2,'TASK'),fd(1,'CONTEXT')),true,0,node((fd(1,'TASK'),fd(1,'CONTEXT')),true,0,empty,empty),node((fd(3,'TASK'),fd(1,'CONTEXT')),true,0,empty,empty)))),field(phys_context,fd(1,'CONTEXT')),field(priority,avl_set(node((fd(2,'TASK'),int(0)),true,0,node((fd(1,'TASK'),int(0)),true,0,empty,empty),node((fd(3,'TASK'),int(0)),true,0,empty,empty)))),field(running_task,fd(3,'TASK')),field(state,avl_set(node((fd(2,'TASK'),fd(1,'STATE')),true,0,node((fd(1,'TASK'),fd(1,'STATE')),true,0,empty,empty),node((fd(3,'TASK'),fd(5,'STATE')),true,0,empty,empty)))),field(tasks,avl_set(node(fd(3,'TASK'),true,0,empty,empty)))])),true,1,empty,node((fd(2,'CORE'),rec([field(idle,fd(2,'TASK')),field(log_context,avl_set(node((fd(2,'TASK'),fd(1,'CONTEXT')),true,0,node((fd(1,'TASK'),fd(1,'CONTEXT')),true,0,empty,empty),node((fd(3,'TASK'),fd(1,'CONTEXT')),true,0,empty,empty)))),field(phys_context,fd(1,'CONTEXT')),field(priority,avl_set(node((fd(2,'TASK'),int(0)),true,0,node((fd(1,'TASK'),int(0)),true,0,empty,empty),node((fd(3,'TASK'),int(0)),true,0,empty,empty)))),field(running_task,fd(2,'TASK')),field(state,avl_set(node((fd(2,'TASK'),fd(5,'STATE')),true,0,node((fd(1,'TASK'),fd(1,'STATE')),true,0,empty,empty),node((fd(3,'TASK'),fd(1,'STATE')),true,0,empty,empty)))),field(tasks,avl_set(node(fd(2,'TASK'),true,0,empty,empty)))])),true,0,empty,empty)))),11,11).
transition(11,'CreateTaskN_MT'(fd(1,'CORE'),int(0),fd(1,'TASK')),12,12).
transition(11,'CreateTaskN_MT'(fd(2,'CORE'),int(0),fd(1,'TASK')),13,13).
transition(11,'CreateTaskN_MT'(fd(3,'CORE'),int(0),fd(1,'TASK')),14,12).
transition(11,'CreateTaskN_MT'(fd(3,'CORE'),int(0),fd(1,'TASK')),15,13).
transition(11,'CreateTaskS_MT'(fd(1,'CORE'),int(1),fd(1,'TASK')),16,14).
transition(11,'CreateTaskS_MT'(fd(1,'CORE'),int(2),fd(1,'TASK')),17,15).
transition(11,'CreateTaskS_MT'(fd(1,'CORE'),int(3),fd(1,'TASK')),18,16).
transition(11,'CreateTaskS_MT'(fd(1,'CORE'),int(4),fd(1,'TASK')),19,17).
transition(11,'CreateTaskS_MT'(fd(2,'CORE'),int(1),fd(1,'TASK')),20,18).
transition(11,'CreateTaskS_MT'(fd(2,'CORE'),int(2),fd(1,'TASK')),21,19).
transition(11,('ChangeTaskPriorityN_MT'(int(0),fd(2,'TASK'))-->[fd(2,'TASK')]),22,11).
transition(11,('ChangeTaskPriorityN_MT'(int(0),fd(3,'TASK'))-->[fd(3,'TASK')]),23,11).
transition(11,(getRunningTask(fd(1,'CORE'))-->[fd(3,'TASK')]),24,11).
transition(11,(getRunningTask(fd(2,'CORE'))-->[fd(2,'TASK')]),25,11).
transition(11,(getPriority(fd(2,'TASK'))-->[int(0)]),26,11).
transition(11,(getPriority(fd(3,'TASK'))-->[int(0)]),27,11).
transition(14,('DeleteTaskS_MT'(fd(1,'TASK'))-->[fd(3,'TASK')]),28,20).
transition(14,('SuspendTaskS_MT'(fd(1,'TASK'))-->[fd(3,'TASK')]),29,21).
transition(14,('ChangeTaskPriorityN_MT'(int(0),fd(2,'TASK'))-->[fd(2,'TASK')]),30,14).
transition(14,('ChangeTaskPriorityN_MT'(int(0),fd(1,'TASK'))-->[fd(1,'TASK')]),31,22).
transition(14,('ChangeTaskPriorityN_MT'(int(1),fd(1,'TASK'))-->[fd(1,'TASK')]),32,14).
transition(14,('ChangeTaskPriorityN_MT'(int(2),fd(1,'TASK'))-->[fd(1,'TASK')]),33,15).
transition(14,('ChangeTaskPriorityN_MT'(int(3),fd(1,'TASK'))-->[fd(1,'TASK')]),34,16).
transition(14,('ChangeTaskPriorityN_MT'(int(4),fd(1,'TASK'))-->[fd(1,'TASK')]),35,17).
transition(14,('ChangeTaskPriorityN_MT'(int(0),fd(3,'TASK'))-->[fd(1,'TASK')]),36,14).
transition(14,('MigrationRuS_MT'(fd(2,'CORE'),fd(1,'TASK'))-->[fd(3,'TASK')]),37,23).
transition(14,(getRunningTask(fd(1,'CORE'))-->[fd(1,'TASK')]),38,14).
transition(14,(getRunningTask(fd(2,'CORE'))-->[fd(2,'TASK')]),39,14).
transition(14,(getPriority(fd(1,'TASK'))-->[int(1)]),40,14).
transition(14,(getPriority(fd(2,'TASK'))-->[int(0)]),41,14).
transition(14,(getPriority(fd(3,'TASK'))-->[int(0)]),42,14).
transition(16,('DeleteTaskS_MT'(fd(1,'TASK'))-->[fd(3,'TASK')]),43,24).
transition(16,('SuspendTaskS_MT'(fd(1,'TASK'))-->[fd(3,'TASK')]),44,25).
transition(16,('ChangeTaskPriorityN_MT'(int(0),fd(2,'TASK'))-->[fd(2,'TASK')]),45,16).
transition(16,('ChangeTaskPriorityN_MT'(int(0),fd(1,'TASK'))-->[fd(1,'TASK')]),46,22).
transition(16,('ChangeTaskPriorityN_MT'(int(1),fd(1,'TASK'))-->[fd(1,'TASK')]),47,14).
transition(16,('ChangeTaskPriorityN_MT'(int(2),fd(1,'TASK'))-->[fd(1,'TASK')]),48,15).
transition(16,('ChangeTaskPriorityN_MT'(int(3),fd(1,'TASK'))-->[fd(1,'TASK')]),49,16).
transition(16,('ChangeTaskPriorityN_MT'(int(4),fd(1,'TASK'))-->[fd(1,'TASK')]),50,17).
transition(16,('ChangeTaskPriorityN_MT'(int(0),fd(3,'TASK'))-->[fd(1,'TASK')]),51,16).
transition(16,('MigrationRuS_MT'(fd(2,'CORE'),fd(1,'TASK'))-->[fd(3,'TASK')]),52,26).
transition(16,(getRunningTask(fd(1,'CORE'))-->[fd(1,'TASK')]),53,16).
transition(16,(getRunningTask(fd(2,'CORE'))-->[fd(2,'TASK')]),54,16).
transition(16,(getPriority(fd(1,'TASK'))-->[int(3)]),55,16).
transition(16,(getPriority(fd(2,'TASK'))-->[int(0)]),56,16).
transition(16,(getPriority(fd(3,'TASK'))-->[int(0)]),57,16).
transition(26,('DeleteTaskS_MT'(fd(1,'TASK'))-->[fd(2,'TASK')]),58,27).
transition(26,('SuspendTaskS_MT'(fd(1,'TASK'))-->[fd(2,'TASK')]),59,28).
transition(26,('ChangeTaskPriorityN_MT'(int(0),fd(1,'TASK'))-->[fd(1,'TASK')]),60,29).
transition(26,('ChangeTaskPriorityN_MT'(int(1),fd(1,'TASK'))-->[fd(1,'TASK')]),61,30).
transition(26,('ChangeTaskPriorityN_MT'(int(2),fd(1,'TASK'))-->[fd(1,'TASK')]),62,31).
transition(26,('ChangeTaskPriorityN_MT'(int(3),fd(1,'TASK'))-->[fd(1,'TASK')]),63,26).
transition(26,('ChangeTaskPriorityN_MT'(int(4),fd(1,'TASK'))-->[fd(1,'TASK')]),64,32).
transition(26,('ChangeTaskPriorityN_MT'(int(0),fd(2,'TASK'))-->[fd(1,'TASK')]),65,26).
transition(26,('ChangeTaskPriorityN_MT'(int(0),fd(3,'TASK'))-->[fd(3,'TASK')]),66,26).
transition(26,('MigrationRuS_MT'(fd(1,'CORE'),fd(1,'TASK'))-->[fd(2,'TASK')]),67,33).
transition(26,(getRunningTask(fd(1,'CORE'))-->[fd(3,'TASK')]),68,26).
transition(26,(getRunningTask(fd(2,'CORE'))-->[fd(1,'TASK')]),69,26).
transition(26,(getPriority(fd(1,'TASK'))-->[int(3)]),70,26).
transition(26,(getPriority(fd(2,'TASK'))-->[int(0)]),71,26).
transition(26,(getPriority(fd(3,'TASK'))-->[int(0)]),72,26).
transition(32,('DeleteTaskS_MT'(fd(1,'TASK'))-->[fd(2,'TASK')]),73,34).
transition(32,('SuspendTaskS_MT'(fd(1,'TASK'))-->[fd(2,'TASK')]),74,35).
transition(32,('ChangeTaskPriorityN_MT'(int(0),fd(1,'TASK'))-->[fd(1,'TASK')]),75,29).
transition(32,('ChangeTaskPriorityN_MT'(int(1),fd(1,'TASK'))-->[fd(1,'TASK')]),76,30).
transition(32,('ChangeTaskPriorityN_MT'(int(2),fd(1,'TASK'))-->[fd(1,'TASK')]),77,31).
transition(32,('ChangeTaskPriorityN_MT'(int(3),fd(1,'TASK'))-->[fd(1,'TASK')]),78,26).
transition(32,('ChangeTaskPriorityN_MT'(int(4),fd(1,'TASK'))-->[fd(1,'TASK')]),79,32).
transition(32,('ChangeTaskPriorityN_MT'(int(0),fd(2,'TASK'))-->[fd(1,'TASK')]),80,32).
transition(32,('ChangeTaskPriorityN_MT'(int(0),fd(3,'TASK'))-->[fd(3,'TASK')]),81,32).
transition(32,('MigrationRuS_MT'(fd(1,'CORE'),fd(1,'TASK'))-->[fd(2,'TASK')]),82,36).
transition(32,(getRunningTask(fd(1,'CORE'))-->[fd(3,'TASK')]),83,32).
transition(32,(getRunningTask(fd(2,'CORE'))-->[fd(1,'TASK')]),84,32).
transition(32,(getPriority(fd(1,'TASK'))-->[int(4)]),85,32).
transition(32,(getPriority(fd(2,'TASK'))-->[int(0)]),86,32).
transition(32,(getPriority(fd(3,'TASK'))-->[int(0)]),87,32).
transition(29,('DeleteTaskS_MT'(fd(1,'TASK'))-->[fd(2,'TASK')]),88,24).
transition(29,('SuspendTaskS_MT'(fd(1,'TASK'))-->[fd(2,'TASK')]),89,37).
transition(29,('ChangeTaskPriorityN_MT'(int(0),fd(1,'TASK'))-->[fd(1,'TASK')]),90,29).
transition(29,('ChangeTaskPriorityN_MT'(int(1),fd(1,'TASK'))-->[fd(1,'TASK')]),91,30).
transition(29,('ChangeTaskPriorityN_MT'(int(2),fd(1,'TASK'))-->[fd(1,'TASK')]),92,31).
transition(29,('ChangeTaskPriorityN_MT'(int(3),fd(1,'TASK'))-->[fd(1,'TASK')]),93,26).
transition(29,('ChangeTaskPriorityN_MT'(int(4),fd(1,'TASK'))-->[fd(1,'TASK')]),94,32).
transition(29,('ChangeTaskPriorityN_MT'(int(0),fd(2,'TASK'))-->[fd(1,'TASK')]),95,29).
transition(29,('ChangeTaskPriorityN_MT'(int(0),fd(3,'TASK'))-->[fd(3,'TASK')]),96,29).
transition(29,('MigrationRuN_MT'(fd(1,'CORE'),fd(1,'TASK'))-->[fd(2,'TASK')]),97,12).
transition(29,(getRunningTask(fd(1,'CORE'))-->[fd(3,'TASK')]),98,29).
transition(29,(getRunningTask(fd(2,'CORE'))-->[fd(1,'TASK')]),99,29).
transition(29,(getPriority(fd(1,'TASK'))-->[int(0)]),100,29).
transition(29,(getPriority(fd(2,'TASK'))-->[int(0)]),101,29).
transition(29,(getPriority(fd(3,'TASK'))-->[int(0)]),102,29).
transition(27,'CreateTaskN_MT'(fd(1,'CORE'),int(0),fd(1,'TASK')),103,38).
transition(27,'CreateTaskN_MT'(fd(2,'CORE'),int(0),fd(1,'TASK')),104,39).
transition(27,'CreateTaskN_MT'(fd(3,'CORE'),int(0),fd(1,'TASK')),105,38).
transition(27,'CreateTaskN_MT'(fd(3,'CORE'),int(0),fd(1,'TASK')),106,39).
transition(27,'CreateTaskS_MT'(fd(1,'CORE'),int(1),fd(1,'TASK')),107,40).
transition(27,'CreateTaskS_MT'(fd(1,'CORE'),int(2),fd(1,'TASK')),108,41).
transition(27,'CreateTaskS_MT'(fd(1,'CORE'),int(3),fd(1,'TASK')),109,33).
transition(27,'CreateTaskS_MT'(fd(1,'CORE'),int(4),fd(1,'TASK')),110,42).
transition(27,'CreateTaskS_MT'(fd(2,'CORE'),int(1),fd(1,'TASK')),111,30).
transition(27,'CreateTaskS_MT'(fd(2,'CORE'),int(2),fd(1,'TASK')),112,31).
transition(27,('ChangeTaskPriorityN_MT'(int(0),fd(2,'TASK'))-->[fd(2,'TASK')]),113,27).
transition(27,('ChangeTaskPriorityN_MT'(int(0),fd(3,'TASK'))-->[fd(3,'TASK')]),114,27).
transition(27,(getRunningTask(fd(1,'CORE'))-->[fd(3,'TASK')]),115,27).
transition(27,(getRunningTask(fd(2,'CORE'))-->[fd(2,'TASK')]),116,27).
transition(27,(getPriority(fd(2,'TASK'))-->[int(0)]),117,27).
transition(27,(getPriority(fd(3,'TASK'))-->[int(0)]),118,27).
transition(39,('DeleteTaskN_MT'(fd(1,'TASK'))-->[fd(2,'TASK')]),119,24).
transition(39,('SuspendTaskN_MT'(fd(1,'TASK'))-->[fd(2,'TASK')]),120,37).
transition(39,('ChangeTaskPriorityN_MT'(int(0),fd(1,'TASK'))-->[fd(2,'TASK')]),121,39).
transition(39,('ChangeTaskPriorityN_MT'(int(0),fd(2,'TASK'))-->[fd(2,'TASK')]),122,39).
transition(39,('ChangeTaskPriorityN_MT'(int(0),fd(3,'TASK'))-->[fd(3,'TASK')]),123,39).
transition(39,('ChangeTaskPriorityS_MT'(int(1),fd(1,'TASK'))-->[fd(1,'TASK')]),124,30).
transition(39,('ChangeTaskPriorityS_MT'(int(2),fd(1,'TASK'))-->[fd(1,'TASK')]),125,31).
transition(39,('ChangeTaskPriorityS_MT'(int(3),fd(1,'TASK'))-->[fd(1,'TASK')]),126,26).
transition(39,('ChangeTaskPriorityS_MT'(int(4),fd(1,'TASK'))-->[fd(1,'TASK')]),127,32).
transition(39,('MigrationN_MT'(fd(1,'CORE'),fd(1,'TASK'))-->[fd(2,'TASK')]),128,12).
transition(39,(getRunningTask(fd(1,'CORE'))-->[fd(3,'TASK')]),129,39).
transition(39,(getRunningTask(fd(2,'CORE'))-->[fd(2,'TASK')]),130,39).
transition(39,(getPriority(fd(1,'TASK'))-->[int(0)]),131,39).
transition(39,(getPriority(fd(2,'TASK'))-->[int(0)]),132,39).
transition(39,(getPriority(fd(3,'TASK'))-->[int(0)]),133,39).
transition(35,('DeleteTaskN_MT'(fd(1,'TASK'))-->[fd(2,'TASK')]),134,34).
transition(35,('SuspendTaskO_MT'(fd(1,'TASK'))-->[fd(2,'TASK')]),135,35).
transition(35,'ResumeTaskS_MT'(fd(1,'TASK')),136,32).
transition(35,('ChangeTaskPriorityN_MT'(int(0),fd(1,'TASK'))-->[fd(2,'TASK')]),137,37).
transition(35,('ChangeTaskPriorityN_MT'(int(1),fd(1,'TASK'))-->[fd(2,'TASK')]),138,43).
transition(35,('ChangeTaskPriorityN_MT'(int(2),fd(1,'TASK'))-->[fd(2,'TASK')]),139,44).
transition(35,('ChangeTaskPriorityN_MT'(int(3),fd(1,'TASK'))-->[fd(2,'TASK')]),140,28).
transition(35,('ChangeTaskPriorityN_MT'(int(4),fd(1,'TASK'))-->[fd(2,'TASK')]),141,35).
transition(35,('ChangeTaskPriorityN_MT'(int(0),fd(2,'TASK'))-->[fd(2,'TASK')]),142,35).
transition(35,('ChangeTaskPriorityN_MT'(int(0),fd(3,'TASK'))-->[fd(3,'TASK')]),143,35).
transition(35,(getRunningTask(fd(1,'CORE'))-->[fd(3,'TASK')]),144,35).
transition(35,(getRunningTask(fd(2,'CORE'))-->[fd(2,'TASK')]),145,35).
transition(35,(getPriority(fd(1,'TASK'))-->[int(4)]),146,35).
transition(35,(getPriority(fd(2,'TASK'))-->[int(0)]),147,35).
transition(35,(getPriority(fd(3,'TASK'))-->[int(0)]),148,35).
transition(44,('DeleteTaskN_MT'(fd(1,'TASK'))-->[fd(2,'TASK')]),149,45).
transition(44,('SuspendTaskO_MT'(fd(1,'TASK'))-->[fd(2,'TASK')]),150,44).
transition(44,'ResumeTaskS_MT'(fd(1,'TASK')),151,31).
transition(44,('ChangeTaskPriorityN_MT'(int(0),fd(1,'TASK'))-->[fd(2,'TASK')]),152,37).
transition(44,('ChangeTaskPriorityN_MT'(int(1),fd(1,'TASK'))-->[fd(2,'TASK')]),153,43).
transition(44,('ChangeTaskPriorityN_MT'(int(2),fd(1,'TASK'))-->[fd(2,'TASK')]),154,44).
transition(44,('ChangeTaskPriorityN_MT'(int(3),fd(1,'TASK'))-->[fd(2,'TASK')]),155,28).
transition(44,('ChangeTaskPriorityN_MT'(int(4),fd(1,'TASK'))-->[fd(2,'TASK')]),156,35).
transition(44,('ChangeTaskPriorityN_MT'(int(0),fd(2,'TASK'))-->[fd(2,'TASK')]),157,44).
transition(44,('ChangeTaskPriorityN_MT'(int(0),fd(3,'TASK'))-->[fd(3,'TASK')]),158,44).
transition(44,(getRunningTask(fd(1,'CORE'))-->[fd(3,'TASK')]),159,44).
transition(44,(getRunningTask(fd(2,'CORE'))-->[fd(2,'TASK')]),160,44).
transition(44,(getPriority(fd(1,'TASK'))-->[int(2)]),161,44).
transition(44,(getPriority(fd(2,'TASK'))-->[int(0)]),162,44).
transition(44,(getPriority(fd(3,'TASK'))-->[int(0)]),163,44).
transition(43,('DeleteTaskN_MT'(fd(1,'TASK'))-->[fd(2,'TASK')]),164,46).
transition(43,('SuspendTaskO_MT'(fd(1,'TASK'))-->[fd(2,'TASK')]),165,43).
transition(43,'ResumeTaskS_MT'(fd(1,'TASK')),166,30).
transition(43,('ChangeTaskPriorityN_MT'(int(0),fd(1,'TASK'))-->[fd(2,'TASK')]),167,37).
transition(43,('ChangeTaskPriorityN_MT'(int(1),fd(1,'TASK'))-->[fd(2,'TASK')]),168,43).
transition(43,('ChangeTaskPriorityN_MT'(int(2),fd(1,'TASK'))-->[fd(2,'TASK')]),169,44).
transition(43,('ChangeTaskPriorityN_MT'(int(3),fd(1,'TASK'))-->[fd(2,'TASK')]),170,28).
transition(43,('ChangeTaskPriorityN_MT'(int(4),fd(1,'TASK'))-->[fd(2,'TASK')]),171,35).
transition(43,('ChangeTaskPriorityN_MT'(int(0),fd(2,'TASK'))-->[fd(2,'TASK')]),172,43).
transition(43,('ChangeTaskPriorityN_MT'(int(0),fd(3,'TASK'))-->[fd(3,'TASK')]),173,43).
transition(43,(getRunningTask(fd(1,'CORE'))-->[fd(3,'TASK')]),174,43).
transition(43,(getRunningTask(fd(2,'CORE'))-->[fd(2,'TASK')]),175,43).
transition(43,(getPriority(fd(1,'TASK'))-->[int(1)]),176,43).
transition(43,(getPriority(fd(2,'TASK'))-->[int(0)]),177,43).
transition(43,(getPriority(fd(3,'TASK'))-->[int(0)]),178,43).
transition(46,'CreateTaskN_MT'(fd(1,'CORE'),int(0),fd(1,'TASK')),179,47).
transition(46,'CreateTaskN_MT'(fd(2,'CORE'),int(0),fd(1,'TASK')),180,39).
transition(46,'CreateTaskN_MT'(fd(3,'CORE'),int(0),fd(1,'TASK')),181,47).
transition(46,'CreateTaskN_MT'(fd(3,'CORE'),int(0),fd(1,'TASK')),182,39).
transition(46,'CreateTaskS_MT'(fd(1,'CORE'),int(1),fd(1,'TASK')),183,48).
transition(46,'CreateTaskS_MT'(fd(1,'CORE'),int(2),fd(1,'TASK')),184,49).
transition(46,'CreateTaskS_MT'(fd(1,'CORE'),int(3),fd(1,'TASK')),185,50).
transition(46,'CreateTaskS_MT'(fd(1,'CORE'),int(4),fd(1,'TASK')),186,51).
transition(46,'CreateTaskS_MT'(fd(2,'CORE'),int(1),fd(1,'TASK')),187,30).
transition(46,'CreateTaskS_MT'(fd(2,'CORE'),int(2),fd(1,'TASK')),188,31).
transition(46,('ChangeTaskPriorityN_MT'(int(0),fd(2,'TASK'))-->[fd(2,'TASK')]),189,46).
transition(46,('ChangeTaskPriorityN_MT'(int(0),fd(3,'TASK'))-->[fd(3,'TASK')]),190,46).
transition(46,(getRunningTask(fd(1,'CORE'))-->[fd(3,'TASK')]),191,46).
transition(46,(getRunningTask(fd(2,'CORE'))-->[fd(2,'TASK')]),192,46).
transition(46,(getPriority(fd(2,'TASK'))-->[int(0)]),193,46).
transition(46,(getPriority(fd(3,'TASK'))-->[int(0)]),194,46).
transition(50,('DeleteTaskS_MT'(fd(1,'TASK'))-->[fd(3,'TASK')]),195,46).
transition(50,('SuspendTaskS_MT'(fd(1,'TASK'))-->[fd(3,'TASK')]),196,52).
transition(50,('ChangeTaskPriorityN_MT'(int(0),fd(2,'TASK'))-->[fd(2,'TASK')]),197,50).
transition(50,('ChangeTaskPriorityN_MT'(int(0),fd(1,'TASK'))-->[fd(1,'TASK')]),198,53).
transition(50,('ChangeTaskPriorityN_MT'(int(1),fd(1,'TASK'))-->[fd(1,'TASK')]),199,48).
transition(50,('ChangeTaskPriorityN_MT'(int(2),fd(1,'TASK'))-->[fd(1,'TASK')]),200,49).
transition(50,('ChangeTaskPriorityN_MT'(int(3),fd(1,'TASK'))-->[fd(1,'TASK')]),201,50).
transition(50,('ChangeTaskPriorityN_MT'(int(4),fd(1,'TASK'))-->[fd(1,'TASK')]),202,51).
transition(50,('ChangeTaskPriorityN_MT'(int(0),fd(3,'TASK'))-->[fd(1,'TASK')]),203,50).
transition(50,('MigrationRuS_MT'(fd(2,'CORE'),fd(1,'TASK'))-->[fd(3,'TASK')]),204,26).
transition(50,(getRunningTask(fd(1,'CORE'))-->[fd(1,'TASK')]),205,50).
transition(50,(getRunningTask(fd(2,'CORE'))-->[fd(2,'TASK')]),206,50).
transition(50,(getPriority(fd(1,'TASK'))-->[int(3)]),207,50).
transition(50,(getPriority(fd(2,'TASK'))-->[int(0)]),208,50).
transition(50,(getPriority(fd(3,'TASK'))-->[int(0)]),209,50).
transition(51,('DeleteTaskS_MT'(fd(1,'TASK'))-->[fd(3,'TASK')]),210,54).
transition(51,('SuspendTaskS_MT'(fd(1,'TASK'))-->[fd(3,'TASK')]),211,55).
transition(51,('ChangeTaskPriorityN_MT'(int(0),fd(2,'TASK'))-->[fd(2,'TASK')]),212,51).
transition(51,('ChangeTaskPriorityN_MT'(int(0),fd(1,'TASK'))-->[fd(1,'TASK')]),213,53).
transition(51,('ChangeTaskPriorityN_MT'(int(1),fd(1,'TASK'))-->[fd(1,'TASK')]),214,48).
transition(51,('ChangeTaskPriorityN_MT'(int(2),fd(1,'TASK'))-->[fd(1,'TASK')]),215,49).
transition(51,('ChangeTaskPriorityN_MT'(int(3),fd(1,'TASK'))-->[fd(1,'TASK')]),216,50).
transition(51,('ChangeTaskPriorityN_MT'(int(4),fd(1,'TASK'))-->[fd(1,'TASK')]),217,51).
transition(51,('ChangeTaskPriorityN_MT'(int(0),fd(3,'TASK'))-->[fd(1,'TASK')]),218,51).
transition(51,('MigrationRuS_MT'(fd(2,'CORE'),fd(1,'TASK'))-->[fd(3,'TASK')]),219,56).
transition(51,(getRunningTask(fd(1,'CORE'))-->[fd(1,'TASK')]),220,51).
transition(51,(getRunningTask(fd(2,'CORE'))-->[fd(2,'TASK')]),221,51).
transition(51,(getPriority(fd(1,'TASK'))-->[int(4)]),222,51).
transition(51,(getPriority(fd(2,'TASK'))-->[int(0)]),223,51).
transition(51,(getPriority(fd(3,'TASK'))-->[int(0)]),224,51).
transition(54,'CreateTaskN_MT'(fd(1,'CORE'),int(0),fd(1,'TASK')),225,47).
transition(54,'CreateTaskN_MT'(fd(2,'CORE'),int(0),fd(1,'TASK')),226,57).
transition(54,'CreateTaskN_MT'(fd(3,'CORE'),int(0),fd(1,'TASK')),227,47).
transition(54,'CreateTaskN_MT'(fd(3,'CORE'),int(0),fd(1,'TASK')),228,57).
transition(54,'CreateTaskS_MT'(fd(1,'CORE'),int(1),fd(1,'TASK')),229,48).
transition(54,'CreateTaskS_MT'(fd(1,'CORE'),int(2),fd(1,'TASK')),230,49).
transition(54,'CreateTaskS_MT'(fd(1,'CORE'),int(3),fd(1,'TASK')),231,50).
transition(54,'CreateTaskS_MT'(fd(1,'CORE'),int(4),fd(1,'TASK')),232,51).
transition(54,'CreateTaskS_MT'(fd(2,'CORE'),int(1),fd(1,'TASK')),233,58).
transition(54,'CreateTaskS_MT'(fd(2,'CORE'),int(2),fd(1,'TASK')),234,59).
transition(54,('ChangeTaskPriorityN_MT'(int(0),fd(2,'TASK'))-->[fd(2,'TASK')]),235,54).
transition(54,('ChangeTaskPriorityN_MT'(int(0),fd(3,'TASK'))-->[fd(3,'TASK')]),236,54).
transition(54,(getRunningTask(fd(1,'CORE'))-->[fd(3,'TASK')]),237,54).
transition(54,(getRunningTask(fd(2,'CORE'))-->[fd(2,'TASK')]),238,54).
transition(54,(getPriority(fd(2,'TASK'))-->[int(0)]),239,54).
transition(54,(getPriority(fd(3,'TASK'))-->[int(0)]),240,54).
transition(47,('DeleteTaskN_MT'(fd(1,'TASK'))-->[fd(3,'TASK')]),241,60).
transition(47,('SuspendTaskN_MT'(fd(1,'TASK'))-->[fd(3,'TASK')]),242,61).
transition(47,('ChangeTaskPriorityN_MT'(int(0),fd(2,'TASK'))-->[fd(2,'TASK')]),243,47).
transition(47,('ChangeTaskPriorityN_MT'(int(0),fd(1,'TASK'))-->[fd(3,'TASK')]),244,47).
transition(47,('ChangeTaskPriorityN_MT'(int(0),fd(3,'TASK'))-->[fd(3,'TASK')]),245,47).
transition(47,('ChangeTaskPriorityS_MT'(int(1),fd(1,'TASK'))-->[fd(1,'TASK')]),246,48).
transition(47,('ChangeTaskPriorityS_MT'(int(2),fd(1,'TASK'))-->[fd(1,'TASK')]),247,49).
transition(47,('ChangeTaskPriorityS_MT'(int(3),fd(1,'TASK'))-->[fd(1,'TASK')]),248,50).
transition(47,('ChangeTaskPriorityS_MT'(int(4),fd(1,'TASK'))-->[fd(1,'TASK')]),249,51).
transition(47,('MigrationN_MT'(fd(2,'CORE'),fd(1,'TASK'))-->[fd(3,'TASK')]),250,13).
transition(47,(getRunningTask(fd(1,'CORE'))-->[fd(3,'TASK')]),251,47).
transition(47,(getRunningTask(fd(2,'CORE'))-->[fd(2,'TASK')]),252,47).
transition(47,(getPriority(fd(1,'TASK'))-->[int(0)]),253,47).
transition(47,(getPriority(fd(2,'TASK'))-->[int(0)]),254,47).
transition(47,(getPriority(fd(3,'TASK'))-->[int(0)]),255,47).
transition(49,('DeleteTaskS_MT'(fd(1,'TASK'))-->[fd(3,'TASK')]),256,62).
transition(49,('SuspendTaskS_MT'(fd(1,'TASK'))-->[fd(3,'TASK')]),257,63).
transition(49,('ChangeTaskPriorityN_MT'(int(0),fd(2,'TASK'))-->[fd(2,'TASK')]),258,49).
transition(49,('ChangeTaskPriorityN_MT'(int(0),fd(1,'TASK'))-->[fd(1,'TASK')]),259,53).
transition(49,('ChangeTaskPriorityN_MT'(int(1),fd(1,'TASK'))-->[fd(1,'TASK')]),260,48).
transition(49,('ChangeTaskPriorityN_MT'(int(2),fd(1,'TASK'))-->[fd(1,'TASK')]),261,49).
transition(49,('ChangeTaskPriorityN_MT'(int(3),fd(1,'TASK'))-->[fd(1,'TASK')]),262,50).
transition(49,('ChangeTaskPriorityN_MT'(int(4),fd(1,'TASK'))-->[fd(1,'TASK')]),263,51).
transition(49,('ChangeTaskPriorityN_MT'(int(0),fd(3,'TASK'))-->[fd(1,'TASK')]),264,49).
transition(49,('MigrationRuS_MT'(fd(2,'CORE'),fd(1,'TASK'))-->[fd(3,'TASK')]),265,64).
transition(49,(getRunningTask(fd(1,'CORE'))-->[fd(1,'TASK')]),266,49).
transition(49,(getRunningTask(fd(2,'CORE'))-->[fd(2,'TASK')]),267,49).
transition(49,(getPriority(fd(1,'TASK'))-->[int(2)]),268,49).
transition(49,(getPriority(fd(2,'TASK'))-->[int(0)]),269,49).
transition(49,(getPriority(fd(3,'TASK'))-->[int(0)]),270,49).
transition(53,('DeleteTaskS_MT'(fd(1,'TASK'))-->[fd(3,'TASK')]),271,60).
transition(53,('SuspendTaskS_MT'(fd(1,'TASK'))-->[fd(3,'TASK')]),272,61).
transition(53,('ChangeTaskPriorityN_MT'(int(0),fd(2,'TASK'))-->[fd(2,'TASK')]),273,53).
transition(53,('ChangeTaskPriorityN_MT'(int(0),fd(1,'TASK'))-->[fd(1,'TASK')]),274,53).
transition(53,('ChangeTaskPriorityN_MT'(int(1),fd(1,'TASK'))-->[fd(1,'TASK')]),275,48).
transition(53,('ChangeTaskPriorityN_MT'(int(2),fd(1,'TASK'))-->[fd(1,'TASK')]),276,49).
transition(53,('ChangeTaskPriorityN_MT'(int(3),fd(1,'TASK'))-->[fd(1,'TASK')]),277,50).
transition(53,('ChangeTaskPriorityN_MT'(int(4),fd(1,'TASK'))-->[fd(1,'TASK')]),278,51).
transition(53,('ChangeTaskPriorityN_MT'(int(0),fd(3,'TASK'))-->[fd(1,'TASK')]),279,53).
transition(53,('MigrationRuN_MT'(fd(2,'CORE'),fd(1,'TASK'))-->[fd(3,'TASK')]),280,13).
transition(53,(getRunningTask(fd(1,'CORE'))-->[fd(1,'TASK')]),281,53).
transition(53,(getRunningTask(fd(2,'CORE'))-->[fd(2,'TASK')]),282,53).
transition(53,(getPriority(fd(1,'TASK'))-->[int(0)]),283,53).
transition(53,(getPriority(fd(2,'TASK'))-->[int(0)]),284,53).
transition(53,(getPriority(fd(3,'TASK'))-->[int(0)]),285,53).
transition(13,('DeleteTaskN_MT'(fd(1,'TASK'))-->[fd(2,'TASK')]),286,11).
transition(13,('SuspendTaskN_MT'(fd(1,'TASK'))-->[fd(2,'TASK')]),287,65).
transition(13,('ChangeTaskPriorityN_MT'(int(0),fd(1,'TASK'))-->[fd(2,'TASK')]),288,13).
transition(13,('ChangeTaskPriorityN_MT'(int(0),fd(2,'TASK'))-->[fd(2,'TASK')]),289,13).
transition(13,('ChangeTaskPriorityN_MT'(int(0),fd(3,'TASK'))-->[fd(3,'TASK')]),290,13).
transition(13,('ChangeTaskPriorityS_MT'(int(1),fd(1,'TASK'))-->[fd(1,'TASK')]),291,18).
transition(13,('ChangeTaskPriorityS_MT'(int(2),fd(1,'TASK'))-->[fd(1,'TASK')]),292,19).
transition(13,('ChangeTaskPriorityS_MT'(int(3),fd(1,'TASK'))-->[fd(1,'TASK')]),293,66).
transition(13,('ChangeTaskPriorityS_MT'(int(4),fd(1,'TASK'))-->[fd(1,'TASK')]),294,67).
transition(13,('MigrationN_MT'(fd(1,'CORE'),fd(1,'TASK'))-->[fd(2,'TASK')]),295,12).
transition(13,(getRunningTask(fd(1,'CORE'))-->[fd(3,'TASK')]),296,13).
transition(13,(getRunningTask(fd(2,'CORE'))-->[fd(2,'TASK')]),297,13).
transition(13,(getPriority(fd(1,'TASK'))-->[int(0)]),298,13).
transition(13,(getPriority(fd(2,'TASK'))-->[int(0)]),299,13).
transition(13,(getPriority(fd(3,'TASK'))-->[int(0)]),300,13).
transition(18,('DeleteTaskS_MT'(fd(1,'TASK'))-->[fd(2,'TASK')]),301,60).
transition(18,('SuspendTaskS_MT'(fd(1,'TASK'))-->[fd(2,'TASK')]),302,68).
transition(18,('ChangeTaskPriorityN_MT'(int(0),fd(1,'TASK'))-->[fd(1,'TASK')]),303,69).
transition(18,('ChangeTaskPriorityN_MT'(int(1),fd(1,'TASK'))-->[fd(1,'TASK')]),304,18).
transition(18,('ChangeTaskPriorityN_MT'(int(2),fd(1,'TASK'))-->[fd(1,'TASK')]),305,19).
transition(18,('ChangeTaskPriorityN_MT'(int(3),fd(1,'TASK'))-->[fd(1,'TASK')]),306,66).
transition(18,('ChangeTaskPriorityN_MT'(int(4),fd(1,'TASK'))-->[fd(1,'TASK')]),307,67).
transition(18,('ChangeTaskPriorityN_MT'(int(0),fd(2,'TASK'))-->[fd(1,'TASK')]),308,18).
transition(18,('ChangeTaskPriorityN_MT'(int(0),fd(3,'TASK'))-->[fd(3,'TASK')]),309,18).
transition(18,('MigrationRuS_MT'(fd(1,'CORE'),fd(1,'TASK'))-->[fd(2,'TASK')]),310,48).
transition(18,(getRunningTask(fd(1,'CORE'))-->[fd(3,'TASK')]),311,18).
transition(18,(getRunningTask(fd(2,'CORE'))-->[fd(1,'TASK')]),312,18).
transition(18,(getPriority(fd(1,'TASK'))-->[int(1)]),313,18).
transition(18,(getPriority(fd(2,'TASK'))-->[int(0)]),314,18).
transition(18,(getPriority(fd(3,'TASK'))-->[int(0)]),315,18).
transition(19,('DeleteTaskS_MT'(fd(1,'TASK'))-->[fd(2,'TASK')]),316,70).
transition(19,('SuspendTaskS_MT'(fd(1,'TASK'))-->[fd(2,'TASK')]),317,71).
transition(19,('ChangeTaskPriorityN_MT'(int(0),fd(1,'TASK'))-->[fd(1,'TASK')]),318,69).
transition(19,('ChangeTaskPriorityN_MT'(int(1),fd(1,'TASK'))-->[fd(1,'TASK')]),319,18).
transition(19,('ChangeTaskPriorityN_MT'(int(2),fd(1,'TASK'))-->[fd(1,'TASK')]),320,19).
transition(19,('ChangeTaskPriorityN_MT'(int(3),fd(1,'TASK'))-->[fd(1,'TASK')]),321,66).
transition(19,('ChangeTaskPriorityN_MT'(int(4),fd(1,'TASK'))-->[fd(1,'TASK')]),322,67).
transition(19,('ChangeTaskPriorityN_MT'(int(0),fd(2,'TASK'))-->[fd(1,'TASK')]),323,19).
transition(19,('ChangeTaskPriorityN_MT'(int(0),fd(3,'TASK'))-->[fd(3,'TASK')]),324,19).
transition(19,('MigrationRuS_MT'(fd(1,'CORE'),fd(1,'TASK'))-->[fd(2,'TASK')]),325,72).
transition(19,(getRunningTask(fd(1,'CORE'))-->[fd(3,'TASK')]),326,19).
transition(19,(getRunningTask(fd(2,'CORE'))-->[fd(1,'TASK')]),327,19).
transition(19,(getPriority(fd(1,'TASK'))-->[int(2)]),328,19).
transition(19,(getPriority(fd(2,'TASK'))-->[int(0)]),329,19).
transition(19,(getPriority(fd(3,'TASK'))-->[int(0)]),330,19).
transition(67,('DeleteTaskS_MT'(fd(1,'TASK'))-->[fd(2,'TASK')]),331,73).
transition(67,('SuspendTaskS_MT'(fd(1,'TASK'))-->[fd(2,'TASK')]),332,74).
transition(67,('ChangeTaskPriorityN_MT'(int(0),fd(1,'TASK'))-->[fd(1,'TASK')]),333,69).
transition(67,('ChangeTaskPriorityN_MT'(int(1),fd(1,'TASK'))-->[fd(1,'TASK')]),334,18).
transition(67,('ChangeTaskPriorityN_MT'(int(2),fd(1,'TASK'))-->[fd(1,'TASK')]),335,19).
transition(67,('ChangeTaskPriorityN_MT'(int(3),fd(1,'TASK'))-->[fd(1,'TASK')]),336,66).
transition(67,('ChangeTaskPriorityN_MT'(int(4),fd(1,'TASK'))-->[fd(1,'TASK')]),337,67).
transition(67,('ChangeTaskPriorityN_MT'(int(0),fd(2,'TASK'))-->[fd(1,'TASK')]),338,67).
transition(67,('ChangeTaskPriorityN_MT'(int(0),fd(3,'TASK'))-->[fd(3,'TASK')]),339,67).
transition(67,('MigrationRuS_MT'(fd(1,'CORE'),fd(1,'TASK'))-->[fd(2,'TASK')]),340,36).
transition(67,(getRunningTask(fd(1,'CORE'))-->[fd(3,'TASK')]),341,67).
transition(67,(getRunningTask(fd(2,'CORE'))-->[fd(1,'TASK')]),342,67).
transition(67,(getPriority(fd(1,'TASK'))-->[int(4)]),343,67).
transition(67,(getPriority(fd(2,'TASK'))-->[int(0)]),344,67).
transition(67,(getPriority(fd(3,'TASK'))-->[int(0)]),345,67).
transition(66,('DeleteTaskS_MT'(fd(1,'TASK'))-->[fd(2,'TASK')]),346,75).
transition(66,('SuspendTaskS_MT'(fd(1,'TASK'))-->[fd(2,'TASK')]),347,76).
transition(66,('ChangeTaskPriorityN_MT'(int(0),fd(1,'TASK'))-->[fd(1,'TASK')]),348,69).
transition(66,('ChangeTaskPriorityN_MT'(int(1),fd(1,'TASK'))-->[fd(1,'TASK')]),349,18).
transition(66,('ChangeTaskPriorityN_MT'(int(2),fd(1,'TASK'))-->[fd(1,'TASK')]),350,19).
transition(66,('ChangeTaskPriorityN_MT'(int(3),fd(1,'TASK'))-->[fd(1,'TASK')]),351,66).
transition(66,('ChangeTaskPriorityN_MT'(int(4),fd(1,'TASK'))-->[fd(1,'TASK')]),352,67).
transition(66,('ChangeTaskPriorityN_MT'(int(0),fd(2,'TASK'))-->[fd(1,'TASK')]),353,66).
transition(66,('ChangeTaskPriorityN_MT'(int(0),fd(3,'TASK'))-->[fd(3,'TASK')]),354,66).
transition(66,('MigrationRuS_MT'(fd(1,'CORE'),fd(1,'TASK'))-->[fd(2,'TASK')]),355,33).
transition(66,(getRunningTask(fd(1,'CORE'))-->[fd(3,'TASK')]),356,66).
transition(66,(getRunningTask(fd(2,'CORE'))-->[fd(1,'TASK')]),357,66).
transition(66,(getPriority(fd(1,'TASK'))-->[int(3)]),358,66).
transition(66,(getPriority(fd(2,'TASK'))-->[int(0)]),359,66).
transition(66,(getPriority(fd(3,'TASK'))-->[int(0)]),360,66).
transition(75,'CreateTaskN_MT'(fd(1,'CORE'),int(0),fd(1,'TASK')),361,38).
transition(75,'CreateTaskN_MT'(fd(2,'CORE'),int(0),fd(1,'TASK')),362,13).
transition(75,'CreateTaskN_MT'(fd(3,'CORE'),int(0),fd(1,'TASK')),363,38).
transition(75,'CreateTaskN_MT'(fd(3,'CORE'),int(0),fd(1,'TASK')),364,13).
transition(75,'CreateTaskS_MT'(fd(1,'CORE'),int(1),fd(1,'TASK')),365,40).
transition(75,'CreateTaskS_MT'(fd(1,'CORE'),int(2),fd(1,'TASK')),366,41).
transition(75,'CreateTaskS_MT'(fd(1,'CORE'),int(3),fd(1,'TASK')),367,33).
transition(75,'CreateTaskS_MT'(fd(1,'CORE'),int(4),fd(1,'TASK')),368,42).
transition(75,'CreateTaskS_MT'(fd(2,'CORE'),int(1),fd(1,'TASK')),369,18).
transition(75,'CreateTaskS_MT'(fd(2,'CORE'),int(2),fd(1,'TASK')),370,19).
transition(75,('ChangeTaskPriorityN_MT'(int(0),fd(2,'TASK'))-->[fd(2,'TASK')]),371,75).
transition(75,('ChangeTaskPriorityN_MT'(int(0),fd(3,'TASK'))-->[fd(3,'TASK')]),372,75).
transition(75,(getRunningTask(fd(1,'CORE'))-->[fd(3,'TASK')]),373,75).
transition(75,(getRunningTask(fd(2,'CORE'))-->[fd(2,'TASK')]),374,75).
transition(75,(getPriority(fd(2,'TASK'))-->[int(0)]),375,75).
transition(75,(getPriority(fd(3,'TASK'))-->[int(0)]),376,75).


:- dynamic transition_info/2.
transition_info(_4686,_4687) :- fail.


:- dynamic operation_not_yet_covered/1.
operation_not_yet_covered('ResumeTaskN_MT').
operation_not_yet_covered('ChangeTaskPriorityD_MT').
operation_not_yet_covered('MigrationS_MT').


:- dynamic state_error/3.
state_error(_4828,_4829,_4830) :- fail.


:- dynamic not_all_z_saved/1.
not_all_z_saved(0).
not_all_z_saved(1).
not_all_z_saved(2).
not_all_z_saved(3).
not_all_z_saved(4).
not_all_z_saved(5).
not_all_z_saved(7).
not_all_z_saved(8).
not_all_z_saved(9).
not_all_z_saved(10).
not_all_z_saved(12).
not_all_z_saved(15).
not_all_z_saved(17).
not_all_z_saved(20).
not_all_z_saved(21).
not_all_z_saved(22).
not_all_z_saved(23).
not_all_z_saved(24).
not_all_z_saved(25).
not_all_z_saved(28).
not_all_z_saved(30).
not_all_z_saved(31).
not_all_z_saved(33).
not_all_z_saved(34).
not_all_z_saved(36).
not_all_z_saved(37).
not_all_z_saved(38).
not_all_z_saved(40).
not_all_z_saved(41).
not_all_z_saved(42).
not_all_z_saved(45).
not_all_z_saved(48).
not_all_z_saved(52).
not_all_z_saved(55).
not_all_z_saved(56).
not_all_z_saved(57).
not_all_z_saved(58).
not_all_z_saved(59).
not_all_z_saved(60).
not_all_z_saved(61).
not_all_z_saved(62).
not_all_z_saved(63).
not_all_z_saved(64).
not_all_z_saved(65).
not_all_z_saved(68).
not_all_z_saved(69).
not_all_z_saved(70).
not_all_z_saved(71).
not_all_z_saved(72).
not_all_z_saved(73).
not_all_z_saved(74).
not_all_z_saved(76).


:- dynamic not_all_transitions_added_saved/1.
not_all_transitions_added_saved(76).
not_all_transitions_added_saved(74).
not_all_transitions_added_saved(73).
not_all_transitions_added_saved(72).
not_all_transitions_added_saved(71).
not_all_transitions_added_saved(70).
not_all_transitions_added_saved(69).
not_all_transitions_added_saved(68).
not_all_transitions_added_saved(65).
not_all_transitions_added_saved(64).
not_all_transitions_added_saved(63).
not_all_transitions_added_saved(62).
not_all_transitions_added_saved(61).
not_all_transitions_added_saved(60).
not_all_transitions_added_saved(59).
not_all_transitions_added_saved(58).
not_all_transitions_added_saved(57).
not_all_transitions_added_saved(56).
not_all_transitions_added_saved(55).
not_all_transitions_added_saved(52).
not_all_transitions_added_saved(48).
not_all_transitions_added_saved(45).
not_all_transitions_added_saved(42).
not_all_transitions_added_saved(41).
not_all_transitions_added_saved(40).
not_all_transitions_added_saved(38).
not_all_transitions_added_saved(37).
not_all_transitions_added_saved(36).
not_all_transitions_added_saved(34).
not_all_transitions_added_saved(33).
not_all_transitions_added_saved(31).
not_all_transitions_added_saved(30).
not_all_transitions_added_saved(28).
not_all_transitions_added_saved(25).
not_all_transitions_added_saved(24).
not_all_transitions_added_saved(23).
not_all_transitions_added_saved(22).
not_all_transitions_added_saved(21).
not_all_transitions_added_saved(20).
not_all_transitions_added_saved(17).
not_all_transitions_added_saved(15).
not_all_transitions_added_saved(12).
not_all_transitions_added_saved(10).
not_all_transitions_added_saved(9).
not_all_transitions_added_saved(8).
not_all_transitions_added_saved(7).
not_all_transitions_added_saved(5).
not_all_transitions_added_saved(4).
not_all_transitions_added_saved(3).
not_all_transitions_added_saved(2).
not_all_transitions_added_saved(1).
not_all_transitions_added_saved(0).


:- dynamic stored_value/2.
stored_value(_4985,_4986) :- fail.


:- dynamic stored_value_hash_to_id/2.
stored_value_hash_to_id(_5115,_5116) :- fail.


:- dynamic next_value_id/1.
next_value_id(0).

saved_gennum_count(77).
